projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3dc5642) | patch
Make Grammar reusable. (#4506)
authorAbdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
Thu, 21 May 2020 18:01:14 +0000 (13:01 -0500)
committerGitHub <noreply@github.com>
Thu, 21 May 2020 18:01:14 +0000 (13:01 -0500)
commit2c78f3bf696e7eb4b04f687e15b9569b9e1b8f23
treeff490ec9c28be25ca7de7b201349b93935371027tree
parent3dc56426a37bf85f82ed6dc8cf15e4eb81498110commit | diff
Make Grammar reusable. (#4506)

This PR modifies the Grammar implementation to make it reusable (i.e., can be copied or passed multiple times to synthFun/synthInv) with the catch that it becomes read-only after the first use.
examples/api/CMakeLists.txt diff | blob | history
examples/api/sygus-fun.cpp diff | blob | history
examples/api/sygus-grammar.cpp [new file with mode: 0644] blob
src/api/cvc4cpp.cpp diff | blob | history
src/api/cvc4cpp.h diff | blob | history
test/unit/api/grammar_black.h diff | blob | history