diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2012-11-02 20:54:11 +0000 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2012-11-02 20:54:11 +0000 |
| commit | 1c779966545190efa59b019572237562eea66dbf (patch) | |
| tree | f827fe0e4bcbbca8c84174f815948b3212391423 /src/theory/quantifiers/model_engine.h | |
| parent | f40d0a7cc8d6af511cc0817caf8df3296a59f380 (diff) | |
more minor updates to inst gen and representative selection, clean up of equality query
Diffstat (limited to 'src/theory/quantifiers/model_engine.h')
| -rw-r--r-- | src/theory/quantifiers/model_engine.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/quantifiers/model_engine.h b/src/theory/quantifiers/model_engine.h index 2560cf50e..394ceaf42 100644 --- a/src/theory/quantifiers/model_engine.h +++ b/src/theory/quantifiers/model_engine.h @@ -78,6 +78,7 @@ public: IntStat d_eval_uf_terms; IntStat d_eval_lits; IntStat d_eval_lits_unknown; + IntStat d_exh_inst_lemmas; Statistics(); ~Statistics(); }; |