projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db2c743) | patch
Make a few functions in TheoryEngine (like theoryOf()) const.
authorMorgan Deters <mdeters@gmail.com>
Mon, 13 Aug 2012 20:47:59 +0000 (20:47 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 13 Aug 2012 20:47:59 +0000 (20:47 +0000)
commit690eed77a7883869a6f45c6db8546f0ccb795b4b
tree81ae7d772c79526199bab12b95a346cf8be517e2tree
parentdb2c74345f23b68a2421c15878311414a71cf210commit | diff
Make a few functions in TheoryEngine (like theoryOf()) const.
src/theory/theory_engine.h diff | blob | history