diff options
Diffstat (limited to 'src/theory/quantifiers/inst_strategy_cbqi.h')
| -rw-r--r-- | src/theory/quantifiers/inst_strategy_cbqi.h | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/theory/quantifiers/inst_strategy_cbqi.h b/src/theory/quantifiers/inst_strategy_cbqi.h index bfc0501dc..72ab5d247 100644 --- a/src/theory/quantifiers/inst_strategy_cbqi.h +++ b/src/theory/quantifiers/inst_strategy_cbqi.h @@ -38,12 +38,11 @@ namespace quantifiers { class InstStrategySimplex : public InstStrategy{ -protected: - /** calculate if we should process this quantifier */ - bool calculateShouldProcess( Node f ); private: /** reference to theory arithmetic */ arith::TheoryArith* d_th; + /** quantifiers we should process */ + std::map< Node, bool > d_quantActive; /** delta */ std::map< TypeNode, Node > d_deltas; /** for each quantifier, simplex rows */ |