projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd45444) | patch
remove duplicate function TheoryEngine::getTheory(TheoryId). It was a duplicate...
authorMorgan Deters <mdeters@gmail.com>
Mon, 20 Aug 2012 22:01:14 +0000 (22:01 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 20 Aug 2012 22:01:14 +0000 (22:01 +0000)
commit59046763d2e5b26d720a3a320b351292bad867ac
tree258cd2b37fee258c513417304676aaac57664dbatree
parentbd45444319c0baa11b530184e3065df3a2d926a2commit | diff
remove duplicate function TheoryEngine::getTheory(TheoryId).  It was a duplicate of TheoryEngine::theoryOf(TheoryId)
src/theory/quantifiers/model_engine.cpp diff | blob | history
src/theory/quantifiers/term_database.cpp diff | blob | history
src/theory/quantifiers/trigger.cpp diff | blob | history
src/theory/quantifiers_engine.cpp diff | blob | history
src/theory/rewriterules/rr_inst_match.cpp diff | blob | history
src/theory/rewriterules/theory_rewriterules.cpp diff | blob | history
src/theory/rewriterules/theory_rewriterules_rules.cpp diff | blob | history
src/theory/theory_engine.h diff | blob | history