projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 961af5e) | patch
Add declare model symbol methods to SymbolManager and Model (#5480)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 23 Nov 2020 12:40:47 +0000 (06:40 -0600)
committerGitHub <noreply@github.com>
Mon, 23 Nov 2020 12:40:47 +0000 (06:40 -0600)
commite11af4be0f3d1dee41aefa91d856de9035cb3a29
tree264c21c4e6ab7fe60378b5713e21d2938a5dd5d0tree
parent961af5e182f65c976424fd2adc22fc9bd484f73ccommit | diff
Add declare model symbol methods to SymbolManager and Model (#5480)

This is in preparation for the symbol manager determining which symbols are printed in the model.
src/expr/symbol_manager.cpp diff | blob | history
src/expr/symbol_manager.h diff | blob | history
src/smt/model.cpp diff | blob | history
src/smt/model.h diff | blob | history