| 214 | : Predicate(id), operands_({operand}) {} |
| 215 | |
| 216 | string ToString() const override { |
| 217 | return absl::StrCat("~", operand()->ToString()); |
| 218 | } |
| 219 | |
| 220 | Kind kind() const override { return Kind::kNot; } |
| 221 | Predicate* operand() const { return operands_[0]; } |