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
treed00e5a0f67a2b03f1cdbd289d3d3ae2ba7146c63
parent89420525dd8417f32446aa9cd9a18ecd211cc119
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
examples/api/python/combination.py
src/api/cvc4cpp.cpp
src/api/cvc4cpp.h
src/api/python/cvc4.pxd
src/api/python/cvc4.pxi
test/unit/api/solver_black.h