| 931 | } |
| 932 | |
| 933 | void p_count(FlatZincSpace& s, const ConExpr& ce, AST::Node* ann) { |
| 934 | IntVarArgs iv = s.arg2intvarargs(ce[0]); |
| 935 | if (!ce[1]->isIntVar()) { |
| 936 | if (!ce[2]->isIntVar()) { |
| 937 | count(s, iv, ce[1]->getInt(), IRT_EQ, ce[2]->getInt(), |
| 938 | s.ann2ipl(ann)); |
| 939 | } else { |
| 940 | count(s, iv, ce[1]->getInt(), IRT_EQ, s.arg2IntVar(ce[2]), |
| 941 | s.ann2ipl(ann)); |
| 942 | } |
| 943 | } else if (!ce[2]->isIntVar()) { |
| 944 | count(s, iv, s.arg2IntVar(ce[1]), IRT_EQ, ce[2]->getInt(), |
| 945 | s.ann2ipl(ann)); |
| 946 | } else { |
| 947 | count(s, iv, s.arg2IntVar(ce[1]), IRT_EQ, s.arg2IntVar(ce[2]), |
| 948 | s.ann2ipl(ann)); |
| 949 | } |
| 950 | } |
| 951 | |
| 952 | void p_count_reif(FlatZincSpace& s, const ConExpr& ce, AST::Node* ann) { |
| 953 | IntVarArgs iv = s.arg2intvarargs(ce[0]); |
nothing calls this directly
no test coverage detected