diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-02-25 10:10:47 -0600 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-02-25 10:10:47 -0600 |
| commit | a1135ca591276f6d02b3632bc77a3934ded2d2af (patch) | |
| tree | fa45a24bc072970abd71f59967a4dd759d2be0d2 /src/theory/quantifiers/inst_strategy_cbqi.h | |
| parent | bab37658aa27ee455e3928c66db49c1bb3224e3b (diff) | |
Minor improvement to partial qe. Add options for representative selection in FMF.
Diffstat (limited to 'src/theory/quantifiers/inst_strategy_cbqi.h')
| -rw-r--r-- | src/theory/quantifiers/inst_strategy_cbqi.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/inst_strategy_cbqi.h b/src/theory/quantifiers/inst_strategy_cbqi.h index 8de844eb8..fd8afb149 100644 --- a/src/theory/quantifiers/inst_strategy_cbqi.h +++ b/src/theory/quantifiers/inst_strategy_cbqi.h @@ -40,7 +40,7 @@ protected: /** whether we have added cbqi lemma */ NodeSet d_added_cbqi_lemma; /** whether we have instantiated quantified formulas */ - NodeSet d_added_inst; + //NodeSet d_added_inst; /** whether to do cbqi for this quantified formula */ std::map< Node, bool > d_do_cbqi; /** register ce lemma */ |