Home
last modified time | relevance | path

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

/dports/math/minizinc/libminizinc-2.5.5/include/minizinc/solvers/gecode/
H A Dgecode_constraints.hh166 PosterImpl(p_global_cardinality_closed);
/dports/math/gecode/gecode-0916a1a/gecode/flatzinc/
H A Dregistry.cpp1043 void p_global_cardinality_closed(FlatZincSpace& s, const ConExpr& ce, in p_global_cardinality_closed() function
1688 &p_global_cardinality_closed); in IntPoster()
/dports/math/minizinc/libminizinc-2.5.5/solvers/gecode/
H A Dgecode_solverinstance.cpp320 registerConstraint("global_cardinality_closed", GecodeConstraints::p_global_cardinality_closed); in registerConstraints()
H A Dgecode_constraints.cpp964 void p_global_cardinality_closed(SolverInstanceBase& s, const Call* call) { in p_global_cardinality_closed() function