Home
last modified time | relevance | path

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

/dports/math/minizinc/libminizinc-2.5.5/include/minizinc/solvers/gecode/
H A Dgecode_constraints.hh264 PosterImpl(p_array_set_partition);
/dports/math/gecode/gecode-0916a1a/gecode/flatzinc/
H A Dregistry.cpp1797 void p_array_set_partition(FlatZincSpace& s, const ConExpr& ce, AST::Node *ann) { in p_array_set_partition() function
2083 registry().add("array_set_partition", &p_array_set_partition); in SetPoster()
/dports/math/minizinc/libminizinc-2.5.5/solvers/gecode/
H A Dgecode_solverinstance.cpp438 registerConstraint("array_set_partition", GecodeConstraints::p_array_set_partition); in registerConstraints()
H A Dgecode_constraints.cpp1690 void p_array_set_partition(SolverInstanceBase& s, const Call* ce) { in p_array_set_partition() function