diff options
Diffstat (limited to 'src/theory/theory_model_builder.h')
| -rw-r--r-- | src/theory/theory_model_builder.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/theory/theory_model_builder.h b/src/theory/theory_model_builder.h index fb6204b69..b716ad7d8 100644 --- a/src/theory/theory_model_builder.h +++ b/src/theory/theory_model_builder.h @@ -126,6 +126,11 @@ class TheoryEngineModelBuilder : protected EnvObj * state of the model m. */ Node evaluateEqc(TheoryModel* m, TNode r); + /** + * Is the node n a "value"? This is true if n is constant, or if n is a + * lambda. + */ + static bool isValue(TNode n); /** is n an assignable expression? * * A term n is an assignable expression if its value is unconstrained by a |