diff options
Diffstat (limited to 'src/theory/strings/regexp_operation.h')
| -rw-r--r-- | src/theory/strings/regexp_operation.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/theory/strings/regexp_operation.h b/src/theory/strings/regexp_operation.h index 5f0eab2e0..702e5ba84 100644 --- a/src/theory/strings/regexp_operation.h +++ b/src/theory/strings/regexp_operation.h @@ -45,6 +45,8 @@ private: //void simplifyRegExp( Node s, Node r, std::vector< Node > &ret, std::vector< Node > &nn );
//Node simplify( Node t, std::vector< Node > &new_nodes );
std::string niceChar( Node r );
+ int gcd ( int a, int b );
+
public:
RegExpOpr();
bool checkConstRegExp( Node r );
@@ -53,6 +55,7 @@ public: Node complement( Node r );
int delta( Node r );
Node derivativeSingle( Node r, CVC4::String c );
+ bool guessLength( Node r, int &co );
void firstChar( Node r );
bool follow( Node r, CVC4::String c, std::vector< char > &vec_chars );
std::string mkString( Node r );
|