diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-05-17 09:23:14 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-17 09:23:14 -0500 |
| commit | 19ab3936ef46e93a98a142e0c454659ecc1d1e27 (patch) | |
| tree | 23c04865d859d43e65cdf89fcf427931e26158ee /src/theory/quantifiers/sygus/cegis_unif.h | |
| parent | 13e248f4087347721c731c1f21a6f8b66dc52ed1 (diff) | |
Internal propagation for refinement lemmas (#1932)
Diffstat (limited to 'src/theory/quantifiers/sygus/cegis_unif.h')
| -rw-r--r-- | src/theory/quantifiers/sygus/cegis_unif.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/theory/quantifiers/sygus/cegis_unif.h b/src/theory/quantifiers/sygus/cegis_unif.h index 735477821..ecaec4129 100644 --- a/src/theory/quantifiers/sygus/cegis_unif.h +++ b/src/theory/quantifiers/sygus/cegis_unif.h @@ -249,8 +249,6 @@ class CegisUnif : public Cegis Node getNextDecisionRequest(unsigned& priority) override; private: - /** sygus term database of d_qe */ - TermDbSygus* d_tds; /** * Sygus unif utility. This class implements the core algorithm (e.g. decision * tree learning) that this module relies upon. |