diff options
Diffstat (limited to 'src/theory/arith/partial_model.h')
| -rw-r--r-- | src/theory/arith/partial_model.h | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/theory/arith/partial_model.h b/src/theory/arith/partial_model.h index 01db59855..57996a510 100644 --- a/src/theory/arith/partial_model.h +++ b/src/theory/arith/partial_model.h @@ -115,7 +115,7 @@ public: /* */ void stopRecordingAssignments(bool revert); - + bool isRecording() { return d_savingAssignments; } void setUpperBound(TNode x, const DeltaRational& r); void setLowerBound(TNode x, const DeltaRational& r); @@ -144,6 +144,11 @@ public: bool assignmentIsConsistent(TNode x); void printModel(TNode x); + + void initialize(TNode x, const DeltaRational& r); + + DeltaRational getSavedAssignment(TNode x) const; + }; |