Searched refs:p_set_union (Results 1 – 4 of 4) sorted by relevance
242 PosterImpl(p_set_union);
1762 void p_set_union(FlatZincSpace& s, const ConExpr& ce, AST::Node *ann) { in p_set_union() function2059 registry().add("set_union", &p_set_union); in SetPoster()
416 registerConstraint("set_union", GecodeConstraints::p_set_union); in registerConstraints()
1662 void p_set_union(SolverInstanceBase& s, const Call* ce) { p_set_op(s, SOT_UNION, ce); } in p_set_union() function