| 52 | } |
| 53 | |
| 54 | Reference<IPredicate> AnyPredicate::simplify() { |
| 55 | Reference<IPredicate> s = pred->simplify(); |
| 56 | if (s->getTypeCode() == IPredicate::NONE) |
| 57 | return s; |
| 58 | return ref(new AnyPredicate(expr, s)); |
| 59 | } |
| 60 | |
| 61 | Reference<IPredicate> IPredicate::simplify_not() { |
| 62 | return ref(new NotPredicate(Reference<IPredicate>::addRef(this))); |
no test coverage detected