projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a3ecb5) | patch
Removed slack.h, and arith_activity.h. Replaced IsBasicManager with the more general...
authorTim King <taking@cs.nyu.edu>
Sat, 23 Oct 2010 21:47:47 +0000 (21:47 +0000)
committerTim King <taking@cs.nyu.edu>
Sat, 23 Oct 2010 21:47:47 +0000 (21:47 +0000)
commit237995ce0e7f47b826e26c0afb317cf5e3174879
treeddeec96c8880ff186d350979f2a151179ae2d73ftree
parent0a3ecb598dac9e5e7416f88403dbf73d558c8739commit | diff
Removed slack.h, and arith_activity.h. Replaced IsBasicManager with the more general ArithVarDenseSet.  Renamed NextArithRewriter to ArithRewriter.
14 files changed:
src/theory/arith/Makefile.am diff | blob | history
src/theory/arith/arith_activity.h [deleted file] blob | history
src/theory/arith/arith_rewriter.cpp [new file with mode: 0644] blob
src/theory/arith/arith_rewriter.h [new file with mode: 0644] blob
src/theory/arith/arith_utilities.h diff | blob | history
src/theory/arith/arithvar_dense_set.h [new file with mode: 0644] blob
src/theory/arith/basic.h [deleted file] blob | history
src/theory/arith/next_arith_rewriter.cpp [deleted file] blob | history
src/theory/arith/next_arith_rewriter.h [deleted file] blob | history
src/theory/arith/slack.h [deleted file] 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