projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 680af6f) | patch
Partially reverting the changes made in 4308. There is now both an Expr and Node...
authorTim King <taking@cs.nyu.edu>
Tue, 11 Sep 2012 00:20:51 +0000 (00:20 +0000)
committerTim King <taking@cs.nyu.edu>
Tue, 11 Sep 2012 00:20:51 +0000 (00:20 +0000)
commitd8883776ce80199096f99d1088910d478fd0cd6e
tree1425084ba75c36b00656c74d59dd8ebf5bf88a1atree
parent680af6f4dc9e5d6616918e8fde18cd64774d0df5commit | diff
Partially reverting the changes made in 4308. There is now both an Expr and Node version of getValue() in TheoryModel.
src/printer/cvc/cvc_printer.cpp diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/theory/model.cpp diff | blob | history
src/theory/model.h diff | blob | history