diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-01-21 11:34:55 +0100 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-01-21 11:34:55 +0100 |
| commit | e908abc0e8a7a7d61a4d6e25821042a8e860e873 (patch) | |
| tree | 079a5cbc0e1192d006c97e3283bfb81da4f6fb1b /src/parser/smt2 | |
| parent | a50f977b02c5653e03d4f3d9d8c7df1f9e2be48e (diff) | |
Initial work on sygusNormalForm.
Diffstat (limited to 'src/parser/smt2')
| -rw-r--r-- | src/parser/smt2/smt2.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp index c6c3a896c..3db2e252d 100644 --- a/src/parser/smt2/smt2.cpp +++ b/src/parser/smt2/smt2.cpp @@ -526,8 +526,6 @@ void Smt2::includeFile(const std::string& filename) { void Smt2::mkSygusDatatype( CVC4::Datatype& dt, std::vector<CVC4::Expr>& ops, std::vector<std::string>& cnames, std::vector< std::vector< CVC4::Type > >& cargs ) { - //minimize grammar goes here - for( unsigned i=0; i<cnames.size(); i++ ){ std::string name = dt.getName() + "_" + cnames[i]; std::string testerId("is-"); |