diff options
author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-11-12 15:49:39 -0600 |
---|---|---|
committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-11-12 15:49:39 -0600 |
commit | 2c2ad5d3fde6f737116ee7a42b74be63df81ba8d (patch) | |
tree | 801e641e28b969e512b83fe772c0fd5b4172ee6b /src/theory/strings/theory_strings.h | |
parent | f265e46316f14ece7f7a1bb1428481d9e2de521f (diff) |
add string progress measurements
Diffstat (limited to 'src/theory/strings/theory_strings.h')
-rw-r--r-- | src/theory/strings/theory_strings.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/theory/strings/theory_strings.h b/src/theory/strings/theory_strings.h index 0fdedcd8a..6ac8cf995 100644 --- a/src/theory/strings/theory_strings.h +++ b/src/theory/strings/theory_strings.h @@ -250,7 +250,11 @@ protected: private: //NodeIntMap d_var_lmin; //NodeIntMap d_var_lmax; - //Node mkSplitEq( const char * c, TypeNode tn, const char * info, Node lhs, Node rhs, bool lgtZero ); + std::map< Node, Node > d_var_split_graph_lhs; + std::map< Node, Node > d_var_split_graph_rhs; + std::map< Node, bool > d_var_lgtz; + Node mkSplitEq( const char * c, const char * info, Node lhs, Node rhs, bool lgtZero ); + int getMaxPossibleLength( Node x ); // Regular Expression private: |