projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 56eaf32) | patch
Change TheoryEngine to use pointers to theories instead of
authorMorgan Deters <mdeters@gmail.com>
Tue, 17 Aug 2010 05:05:54 +0000 (05:05 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 17 Aug 2010 05:05:54 +0000 (05:05 +0000)
commit229ab1aca6e89315a07899b093951d8f4f9d0c02
tree2e0e3ade64d88df35b38887cc2a4c5e84716cec8tree
parent56eaf3284daf1d5c7efd11d8db0b5e36404ae786commit | diff
Change TheoryEngine to use pointers to theories instead of
calling them directly.  In tests this doesn't appear to
lead to slowdown.
src/theory/theory_engine.h diff | blob | history