If `must_be_true()` is true this SymbolPredicate represents the proposition "tensor_id() is live and evaluates to true". If `must_be_true()` is false then this SymbolPredicate represents the proposition "tensor_id() is live (and may evaluate to any value)"
| 298 | // If `must_be_true()` is false then this SymbolPredicate represents the |
| 299 | // proposition "tensor_id() is live (and may evaluate to any value)" |
| 300 | TensorId tensor_id() const { return tensor_id_; } |
| 301 | bool must_be_true() const { return must_be_true_; } |
| 302 | |
| 303 | private: |
no outgoing calls