| 1862 | p_set_OP(s, SOT_UNION, ce, ann); |
| 1863 | } |
| 1864 | void p_set_intersect(FlatZincSpace& s, const ConExpr& ce, AST::Node *ann) { |
| 1865 | p_set_OP(s, SOT_INTER, ce, ann); |
| 1866 | } |
| 1867 | void p_set_diff(FlatZincSpace& s, const ConExpr& ce, AST::Node *ann) { |
| 1868 | p_set_OP(s, SOT_MINUS, ce, ann); |
| 1869 | } |
nothing calls this directly
no test coverage detected