diff options
Diffstat (limited to 'src/theory/quantifiers/sygus/cegis.h')
| -rw-r--r-- | src/theory/quantifiers/sygus/cegis.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/theory/quantifiers/sygus/cegis.h b/src/theory/quantifiers/sygus/cegis.h index e5ee6bc56..70f3ce8b6 100644 --- a/src/theory/quantifiers/sygus/cegis.h +++ b/src/theory/quantifiers/sygus/cegis.h @@ -65,6 +65,8 @@ class Cegis : public SygusModule std::vector<Node>& lems) override; protected: + /** the evaluation unfold utility of d_tds */ + SygusEvalUnfold* d_eval_unfold; /** If CegConjecture::d_base_inst is exists y. P( d, y ), then this is y. */ std::vector<Node> d_base_vars; /** |