| 128 | p_int_CMP(s, IRT_LQ, ce, ann); |
| 129 | } |
| 130 | void p_int_lt(FlatZincSpace& s, const ConExpr& ce, AST::Node* ann) { |
| 131 | p_int_CMP(s, IRT_LE, ce, ann); |
| 132 | } |
| 133 | void p_int_CMP_reif(FlatZincSpace& s, IntRelType irt, ReifyMode rm, |
| 134 | const ConExpr& ce, AST::Node* ann) { |
| 135 | if (rm == RM_EQV && ce[2]->isBool()) { |
nothing calls this directly
no test coverage detected