| 145 | |
| 146 | Future<bool> evaluate(Reference<IReadContext> const& context) override { return false; } |
| 147 | std::string toString() override { return "NONE()"; } |
| 148 | |
| 149 | Reference<IPredicate> simplify_not() override; |
| 150 | void simplify_and(SimplifyAndContext& cx) override; |
nothing calls this directly
no outgoing calls
no test coverage detected