Searched refs:p_set_superset (Results 1 – 4 of 4) sorted by relevance
249 PosterImpl(p_set_superset);
1815 void p_set_superset(FlatZincSpace& s, const ConExpr& ce, AST::Node *) { in p_set_superset() function2066 registry().add("set_superset", &p_set_superset); in SetPoster()
423 registerConstraint("set_superset", GecodeConstraints::p_set_superset); in registerConstraints()
1702 void p_set_superset(SolverInstanceBase& s, const Call* ce) { p_set_rel(s, SRT_SUP, ce); } in p_set_superset() function