diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-10-26 16:11:00 +0100 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-10-26 16:11:00 +0100 |
| commit | af86e5a8dc7a64fb5f7b4ca7bd3b2bedf5e8fe32 (patch) | |
| tree | d86858d67279e940a225e7ca693172685532d6d7 /src/theory/quantifiers/quant_util.cpp | |
| parent | aaf1bbbdc6e42910e07db64441885ee3476d86df (diff) | |
Promote InstStrategyCbqi to quantifier module. Cleanup unused code.
Diffstat (limited to 'src/theory/quantifiers/quant_util.cpp')
| -rw-r--r-- | src/theory/quantifiers/quant_util.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/theory/quantifiers/quant_util.cpp b/src/theory/quantifiers/quant_util.cpp index ebeb4b871..026293e02 100644 --- a/src/theory/quantifiers/quant_util.cpp +++ b/src/theory/quantifiers/quant_util.cpp @@ -250,6 +250,10 @@ void QuantRelevance::setRelevance( Node s, int r ){ QuantPhaseReq::QuantPhaseReq( Node n, bool computeEq ){ + initialize( n, computeEq ); +} + +void QuantPhaseReq::initialize( Node n, bool computeEq ){ std::map< Node, int > phaseReqs2; computePhaseReqs( n, false, phaseReqs2 ); for( std::map< Node, int >::iterator it = phaseReqs2.begin(); it != phaseReqs2.end(); ++it ){ |