Move string_constraintt constructor to cpp

Allows to add functionality to constructor without overcharging the
header file.

Author: Joel Allred

src/solvers/Makefile

@@ -166,6 +166,7 @@ SRC = $(BOOLEFORCE_SRC) \
       refinement/string_builtin_function.cpp \
       refinement/string_refinement.cpp \
       refinement/string_refinement_util.cpp \
+      refinement/string_constraint.cpp \
       refinement/string_constraint_generator_code_points.cpp \
       refinement/string_constraint_generator_comparison.cpp \
       refinement/string_constraint_generator_concat.cpp \

src/solvers/refinement/string_constraint.cpp

@@ -0,0 +1,21 @@
+/*******************************************************************\
+
+ Module: String solver
+
+ Author: Diffblue Ltd.
+
+\*******************************************************************/
+
+#include "string_constraint.h"
+
+string_constraintt::string_constraintt(
+  symbol_exprt _univ_var,
+  exprt lower_bound,
+  exprt upper_bound,
+  exprt body)
+  : univ_var(_univ_var),
+    lower_bound(lower_bound),
+    upper_bound(upper_bound),
+    body(body)
+{
+}

src/solvers/refinement/string_constraint.h

@@ -71,13 +71,7 @@ class string_constraintt final
     symbol_exprt _univ_var,
     exprt lower_bound,
     exprt upper_bound,
-    exprt body)
-    : univ_var(_univ_var),
-      lower_bound(lower_bound),
-      upper_bound(upper_bound),
-      body(body)
-  {
-  }
+    exprt body);
 
   // Default bound inferior is 0
   string_constraintt(symbol_exprt univ_var, exprt upper_bound, exprt body)