projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a0ccf52) | patch
Remove some Commands from the API. (#5268)
authorAbdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
Tue, 20 Oct 2020 19:23:30 +0000 (14:23 -0500)
committerGitHub <noreply@github.com>
Tue, 20 Oct 2020 19:23:30 +0000 (14:23 -0500)
commit417299119500eac6a910fcb6b2109f4c129b355c
tree9f2237f45fd8353e6cc367acabc6b386f85c797ftree
parenta0ccf529025b86d368dac6b8c4f6b78a97857f4bcommit | diff
Remove some Commands from the API. (#5268)

This PR removes Solver::getAssignment command from the API as there is no way to assign names to terms in the API. It also removes ExpandDefinitionsCommand, an internal functionality in CVC4.
src/api/cvc4cpp.cpp diff | blob | history
src/api/cvc4cpp.h diff | blob | history
src/api/python/cvc4.pxd diff | blob | history
src/api/python/cvc4.pxi diff | blob | history
src/printer/printer.cpp diff | blob | history
src/printer/printer.h diff | blob | history
src/smt/command.cpp diff | blob | history
src/smt/command.h diff | blob | history