| 285 | must_be_true_(must_be_true) {} |
| 286 | |
| 287 | string ToString() const override { |
| 288 | return must_be_true() ? absl::StrCat("*", tensor_id_.ToString()) |
| 289 | : tensor_id_.ToString(); |
| 290 | } |
| 291 | |
| 292 | Kind kind() const override { return Kind::kSymbol; } |
| 293 | absl::Span<Predicate* const> GetOperands() const override { return {}; } |