diff options
Diffstat (limited to 'src/theory/strings/extf_solver.h')
-rw-r--r-- | src/theory/strings/extf_solver.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/theory/strings/extf_solver.h b/src/theory/strings/extf_solver.h index 4c848f430..9ca72fed2 100644 --- a/src/theory/strings/extf_solver.h +++ b/src/theory/strings/extf_solver.h @@ -26,6 +26,7 @@ #include "theory/strings/base_solver.h" #include "theory/strings/core_solver.h" #include "theory/strings/inference_manager.h" +#include "theory/strings/sequences_stats.h" #include "theory/strings/skolem_cache.h" #include "theory/strings/solver_state.h" #include "theory/strings/theory_strings_preprocess.h" @@ -88,7 +89,8 @@ class ExtfSolver SkolemCache& skc, BaseSolver& bs, CoreSolver& cs, - ExtTheory* et); + ExtTheory* et, + SequencesStatistics& stats); ~ExtfSolver(); /** check extended functions evaluation @@ -184,6 +186,8 @@ class ExtfSolver CoreSolver& d_csolver; /** the extended theory object for the theory of strings */ ExtTheory* d_extt; + /** Reference to the statistics for the theory of strings/sequences. */ + SequencesStatistics& d_statistics; /** preprocessing utility, for performing strings reductions */ StringsPreprocess d_preproc; /** Common constants */ |