diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-07-14 10:08:11 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-14 10:08:11 +0200 |
commit | 88adf5e1416fb0c533fe3a24da5fce50aa5a2c0b (patch) | |
tree | c8963086026c80bd01c12f824411bce1461cbc9e /src/parser/smt2/smt2.h | |
parent | aac70d0b7e1784f1c34be7df9e22f3fba1cb1522 (diff) |
sygusComp2018: update semantics for declare-fun in sygus. (#2102)
Diffstat (limited to 'src/parser/smt2/smt2.h')
-rw-r--r-- | src/parser/smt2/smt2.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/parser/smt2/smt2.h b/src/parser/smt2/smt2.h index 85d9b112e..c9b224d39 100644 --- a/src/parser/smt2/smt2.h +++ b/src/parser/smt2/smt2.h @@ -64,7 +64,8 @@ private: std::unordered_map<std::string, Kind> operatorKindMap; std::pair<Expr, std::string> d_lastNamedTerm; // for sygus - std::vector<Expr> d_sygusVars, d_sygusConstraints, d_sygusFunSymbols; + std::vector<Expr> d_sygusVars, d_sygusInvVars, d_sygusConstraints, + d_sygusFunSymbols; std::map< Expr, bool > d_sygusVarPrimed; protected: |