diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-09-05 21:40:50 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-05 21:40:50 -0500 |
| commit | dbb5fdf2f295f231da050a59c2ab63cf4742a97c (patch) | |
| tree | 5d11d5f5ec21126e022f2652a0fe9faca3856a13 /src/theory/theory_model.h | |
| parent | 200585e3ae407b138b0cec0b2930dfc00d26c0bd (diff) | |
Model API for domain elements (#3243)
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) */ |