projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b59e12) | patch
Valuation::entailmentCheck() proxy for TheoryEngine version. Signature and contract...
authorMorgan Deters <mdeters@cs.nyu.edu>
Mon, 5 May 2014 18:10:10 +0000 (14:10 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Mon, 5 May 2014 18:31:12 +0000 (14:31 -0400)
commitdfb807946da87254f927bf5550ff0f35fc780631
treed51f32579b693b7171fdcfad4d16a391a702428btree
parent9b59e12cf7eb284d4d99bf19036ba28fc5fb32cfcommit | diff
Valuation::entailmentCheck() proxy for TheoryEngine version.  Signature and contract is the same as for TheoryEngine version.
src/theory/theory_engine.h diff | blob | history
src/theory/valuation.cpp diff | blob | history
src/theory/valuation.h diff | blob | history