diff options
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 { |