projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba73019) | patch
[SMT2 Parser] Move code of `sygusCommand` (#3335)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 3 Oct 2019 17:19:12 +0000 (10:19 -0700)
committerGitHub <noreply@github.com>
Thu, 3 Oct 2019 17:19:12 +0000 (10:19 -0700)
commit51181eb3382ae9c94f90a39103e33ec6e9063dee
tree59fc47fc7ba9e1e50ba82cd359ba2bd8e8f679f2tree
parentba73019ebea069607ff1a66863bbdb6a5d501344commit | diff
[SMT2 Parser] Move code of `sygusCommand` (#3335)

This commit moves the code in `sygusCommand` in the SMT2 parser to the
`Smt2` class. The original code was pushing and popping the current
scope inline. This commit adds a class `SynthFunFactory` that takes care
of that upon creation and destruction.
src/parser/smt2/Smt2.g diff | blob | history
src/parser/smt2/smt2.cpp diff | blob | history
src/parser/smt2/smt2.h diff | blob | history