diff options
| author | Tim King <taking@cs.nyu.edu> | 2012-05-18 20:20:58 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2012-05-18 20:20:58 +0000 |
| commit | 3b93d45dab9513195d5604a069423ed13e173f49 (patch) | |
| tree | 96497114c06755a14efe0d30c680703c9aa5380b /src/theory/arith/arith_static_learner.h | |
| parent | 76b8bdc51693af0867de94fe6002e8a8bec9e5f9 (diff) | |
This commit removes the dead psuedoboolean code.
Diffstat (limited to 'src/theory/arith/arith_static_learner.h')
| -rw-r--r-- | src/theory/arith/arith_static_learner.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/theory/arith/arith_static_learner.h b/src/theory/arith/arith_static_learner.h index 03402a6f1..d877339b3 100644 --- a/src/theory/arith/arith_static_learner.h +++ b/src/theory/arith/arith_static_learner.h @@ -78,13 +78,11 @@ private: void postProcess(NodeBuilder<>& learned); - void replaceWithPseudoboolean(TNode var); void iteMinMax(TNode n, NodeBuilder<>& learned); void iteConstant(TNode n, NodeBuilder<>& learned); void miplibTrick(TNode var, std::set<Rational>& values, NodeBuilder<>& learned); - void checkBoundsForPseudobooleanReplacement(TNode n); /** These fields are designed to be accessable to ArithStaticLearner methods. */ class Statistics { |