diff options
Diffstat (limited to 'src/smt/model.h')
-rw-r--r-- | src/smt/model.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/smt/model.h b/src/smt/model.h index eadeb1c4b..fd31655f4 100644 --- a/src/smt/model.h +++ b/src/smt/model.h @@ -67,6 +67,8 @@ public: virtual Cardinality getCardinality(Type t) const = 0; /** print comments */ virtual void getComments(std::ostream& out) const {} + /** get heap model (for separation logic) */ + virtual bool getHeapModel( Expr& h, Expr& ne ) const { return false; } };/* class Model */ class ModelBuilder { |