diff options
Diffstat (limited to 'src/theory/valuation.h')
-rw-r--r-- | src/theory/valuation.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/theory/valuation.h b/src/theory/valuation.h index 7f3a00ec1..083163a5c 100644 --- a/src/theory/valuation.h +++ b/src/theory/valuation.h @@ -117,6 +117,11 @@ public: */ bool isDecision(Node lit) const; + /** + * Get the assertion level of the SAT solver. + */ + unsigned getAssertionLevel() const; + };/* class Valuation */ }/* CVC4::theory namespace */ |