diff options
Diffstat (limited to 'src/theory/quantifiers/cegqi/inst_strategy_cbqi.h')
| -rw-r--r-- | src/theory/quantifiers/cegqi/inst_strategy_cbqi.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/quantifiers/cegqi/inst_strategy_cbqi.h b/src/theory/quantifiers/cegqi/inst_strategy_cbqi.h index 5a4db0e53..3445c3f9f 100644 --- a/src/theory/quantifiers/cegqi/inst_strategy_cbqi.h +++ b/src/theory/quantifiers/cegqi/inst_strategy_cbqi.h @@ -103,8 +103,8 @@ class InstStrategyCbqi : public QuantifiersModule { void check(Theory::Effort e, QEffort quant_e) override; bool checkComplete() override; bool checkCompleteFor(Node q) override; + void checkOwnership(Node q) override; void preRegisterQuantifier(Node q) override; - void registerQuantifier(Node q) override; /** get next decision request */ Node getNextDecisionRequest(unsigned& priority) override; }; @@ -147,8 +147,8 @@ class InstStrategyCegqi : public InstStrategyCbqi { //get instantiator for quantifier CegInstantiator * getInstantiator( Node q ); - //register quantifier - void registerQuantifier(Node q) override; + /** pre-register quantifier */ + void preRegisterQuantifier(Node q) override; //presolve void presolve() override; }; |