string fmf changes

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 );