Initializes RegExpOpr::d_char_start and d_char_end. (#1359)
authorTim King <taking@cs.nyu.edu>
Tue, 14 Nov 2017 07:25:59 +0000 (23:25 -0800)
committerGitHub <noreply@github.com>
Tue, 14 Nov 2017 07:25:59 +0000 (23:25 -0800)
src/theory/strings/regexp_operation.cpp

index a98a2a0ef75bc0aafff94709dd972743c8f3fa4e..a8fd087921b6ec5306bdd9c2a04620fac0fde7b1 100644 (file)
@@ -24,24 +24,25 @@ namespace theory {
 namespace strings {
 
 RegExpOpr::RegExpOpr()
-  : d_lastchar( options::stdASCII()? '\x7f' : '\xff' ),
-    RMAXINT( LONG_MAX )
-{
-  d_emptyString = NodeManager::currentNM()->mkConst( ::CVC4::String("") );
-  d_true = NodeManager::currentNM()->mkConst( true );
-  d_false = NodeManager::currentNM()->mkConst( false );
-  d_emptySingleton = NodeManager::currentNM()->mkNode( kind::STRING_TO_REGEXP, d_emptyString );
-  d_zero = NodeManager::currentNM()->mkConst( ::CVC4::Rational(0) );
-  d_one = NodeManager::currentNM()->mkConst( ::CVC4::Rational(1) );
-  std::vector< Node > nvec;
-  d_emptyRegexp = NodeManager::currentNM()->mkNode( kind::REGEXP_EMPTY, nvec );
-  d_sigma = NodeManager::currentNM()->mkNode( kind::REGEXP_SIGMA, nvec );
-  d_sigma_star = NodeManager::currentNM()->mkNode( kind::REGEXP_STAR, d_sigma );
-}
-
-RegExpOpr::~RegExpOpr(){ 
+    : d_lastchar(options::stdASCII() ? '\x7f' : '\xff'),
+      d_emptyString(NodeManager::currentNM()->mkConst(::CVC4::String(""))),
+      d_true(NodeManager::currentNM()->mkConst(true)),
+      d_false(NodeManager::currentNM()->mkConst(false)),
+      d_emptySingleton(NodeManager::currentNM()->mkNode(kind::STRING_TO_REGEXP,
+                                                        d_emptyString)),
+      d_emptyRegexp(NodeManager::currentNM()->mkNode(kind::REGEXP_EMPTY,
+                                                     std::vector<Node>{})),
+      d_zero(NodeManager::currentNM()->mkConst(::CVC4::Rational(0))),
+      d_one(NodeManager::currentNM()->mkConst(::CVC4::Rational(1))),
+      RMAXINT(LONG_MAX),
+      d_char_start(),
+      d_char_end(),
+      d_sigma(NodeManager::currentNM()->mkNode(kind::REGEXP_SIGMA,
+                                               std::vector<Node>{})),
+      d_sigma_star(
+          NodeManager::currentNM()->mkNode(kind::REGEXP_STAR, d_sigma)) {}
 
-}
+RegExpOpr::~RegExpOpr() {}
 
 int RegExpOpr::gcd ( int a, int b ) {
   int c;