Searched refs:p_set_superset_reif (Results 1 – 4 of 4) sorted by relevance
258 PosterImpl(p_set_superset_reif);
1878 void p_set_superset_reif(FlatZincSpace& s, const ConExpr& ce, in p_set_superset_reif() function2075 registry().add("set_superset_reif", &p_set_superset_reif); in SetPoster()
432 registerConstraint("set_superset_reif", GecodeConstraints::p_set_superset_reif); in registerConstraints()
1754 void p_set_superset_reif(SolverInstanceBase& s, const Call* ce) { p_set_rel_reif(s, SRT_SUP, ce); } in p_set_superset_reif() function