projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0050661) | patch
Changes:
authorTim King <taking@cs.nyu.edu>
Sat, 19 Feb 2011 00:22:34 +0000 (00:22 +0000)
committerTim King <taking@cs.nyu.edu>
Sat, 19 Feb 2011 00:22:34 +0000 (00:22 +0000)
commit0db4ec99a2f289b66878d0ca3be9d43492eff3ad
treecdcb1badb92bf405c2be4f15a19bec05ea716c32tree
parent005066130a774c9e4aa838ca500d5fd3137909becommit | diff
Changes:
- The Tableau is now in charge of managing what variables are basic in a unified manner. Specifically, TheoryArith::d_basicManager was merged into Tableau::d_basicVariables.
src/theory/arith/simplex.cpp diff | blob | history
src/theory/arith/simplex.h diff | blob | history
src/theory/arith/tableau.cpp diff | blob | history
src/theory/arith/tableau.h diff | blob | history
src/theory/arith/theory_arith.cpp diff | blob | history
src/theory/arith/theory_arith.h diff | blob | history