projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8942052) | patch
Updates to API in preparation for using symbol manager for model (#5481)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 20 Nov 2020 20:49:55 +0000 (14:49 -0600)
committerGitHub <noreply@github.com>
Fri, 20 Nov 2020 20:49:55 +0000 (14:49 -0600)
commit798524d033f69153d4bf6604e08c69a571771ae8
treed00e5a0f67a2b03f1cdbd289d3d3ae2ba7146c63tree
parent89420525dd8417f32446aa9cd9a18ecd211cc119commit | diff
Updates to API in preparation for using symbol manager for model (#5481)

printModel no longer makes sense if the list of declared symbols is managed outside the solver.

Also, mkConst needs a variant to distinguish a provided name of "" vs. a name that is not provided.
examples/api/combination.cpp diff | blob | history
examples/api/python/combination.py diff | blob | history
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
test/unit/api/solver_black.h diff | blob | history