diff options
Diffstat (limited to 'src/theory/theory_model.h')
| -rw-r--r-- | src/theory/theory_model.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/theory/theory_model.h b/src/theory/theory_model.h index baf3a401c..b120b4501 100644 --- a/src/theory/theory_model.h +++ b/src/theory/theory_model.h @@ -239,6 +239,8 @@ public: bool hasApproximations() const override; /** get approximations */ std::vector<std::pair<Expr, Expr> > getApproximations() const override; + /** get domain elements for uninterpreted sort t */ + std::vector<Expr> getDomainElements(Type t) const override; /** get the representative set object */ const RepSet* getRepSet() const { return &d_rep_set; } /** get the representative set object (FIXME: remove this, see #1199) */ |