| 59 | } |
| 60 | |
| 61 | Reference<IPredicate> IPredicate::simplify_not() { |
| 62 | return ref(new NotPredicate(Reference<IPredicate>::addRef(this))); |
| 63 | } |
| 64 | |
| 65 | Reference<IPredicate> AllPredicate::simplify_not() { |
| 66 | return ref(new NonePredicate); |
no test coverage detected