diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-03-20 06:42:51 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-20 11:42:51 +0000 |
commit | 02dd48563db0c5effd608eda70d4c262309322a6 (patch) | |
tree | a64819d326b5d9d029e47b6ba14ead7c7b23628c /src/theory/strings/theory_strings.h | |
parent | a374f7b577b48908d623cf7b64594f1c98cfb8b7 (diff) |
Improved tracing for equivalence classes of EE (#6169)
Helps debugging model issues.
Diffstat (limited to 'src/theory/strings/theory_strings.h')
-rw-r--r-- | src/theory/strings/theory_strings.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/theory/strings/theory_strings.h b/src/theory/strings/theory_strings.h index 12f644fb4..f35c67da6 100644 --- a/src/theory/strings/theory_strings.h +++ b/src/theory/strings/theory_strings.h @@ -241,6 +241,8 @@ class TheoryStrings : public Theory { void runInferStep(InferStep s, int effort); /** run strategy for effort e */ void runStrategy(Theory::Effort e); + /** print strings equivalence classes for debugging */ + std::string debugPrintStringsEqc(); /** Commonly used constants */ Node d_true; Node d_false; |