| 131 | } |
| 132 | |
| 133 | std::string AndPredicate::toString() { |
| 134 | std::string s = "AND("; |
| 135 | int addcomma = 0; |
| 136 | for (const auto& t : terms) { |
| 137 | if (addcomma++) |
| 138 | s += ", "; |
| 139 | s += t->toString(); |
| 140 | } |
| 141 | s += ")"; |
| 142 | return s; |
| 143 | } |
| 144 | |
| 145 | Reference<IPredicate> AndPredicate::simplify_not() { |
| 146 | std::vector<Reference<IPredicate>> terms; |