Home
last modified time | relevance | path

Searched refs:p_set_disjoint (Results 1 – 4 of 4) sorted by relevance

/dports/math/minizinc/libminizinc-2.5.5/include/minizinc/solvers/gecode/
H A Dgecode_constraints.hh261 PosterImpl(p_set_disjoint);
/dports/math/gecode/gecode-0916a1a/gecode/flatzinc/
H A Dregistry.cpp1906 void p_set_disjoint(FlatZincSpace& s, const ConExpr& ce, AST::Node *) { in p_set_disjoint() function
2078 registry().add("disjoint", &p_set_disjoint); in SetPoster()
/dports/math/minizinc/libminizinc-2.5.5/solvers/gecode/
H A Dgecode_solverinstance.cpp435 registerConstraint("disjoint", GecodeConstraints::p_set_disjoint); in registerConstraints()
H A Dgecode_constraints.cpp1777 void p_set_disjoint(SolverInstanceBase& s, const Call* ce) { in p_set_disjoint() function