Remove clear method that is now unused

romainbrenguier · romainbrenguier · commit 3cc0c72c895e · 2019-08-12T09:43:53.000+01:00
Not useful anymore.
diff --git a/src/solvers/strings/string_constraint_generator.h b/src/solvers/strings/string_constraint_generator.h
@@ -37,9 +37,6 @@ struct string_constraintst final
   std::vector<exprt> existential;
   std::vector<string_constraintt> universal;
   std::vector<string_not_contains_constraintt> not_contains;
-
-  /// Clear all constraints
-  void clear();
 };
 
 void merge(string_constraintst &result, string_constraintst other);
diff --git a/src/solvers/strings/string_constraint_generator_main.cpp b/src/solvers/strings/string_constraint_generator_main.cpp
@@ -96,13 +96,6 @@ exprt string_constraint_generatort::associate_length_to_array(
                    equal_exprt(length, new_length)};
 }
 
-void string_constraintst::clear()
-{
-  existential.clear();
-  universal.clear();
-  not_contains.clear();
-}
-
 /// Merge two sets of constraints by appending to the first one
 void merge(string_constraintst &result, string_constraintst other)
 {

Original file line number	Diff line number	Diff line change
`@@ -96,13 +96,6 @@ exprt string_constraint_generatort::associate_length_to_array(`
`96`	`96`	`equal_exprt(length, new_length)};`
`97`	`97`	`}`
`98`	`98`
`99`		`-void string_constraintst::clear()`
`100`		`-{`
`101`		`- existential.clear();`
`102`		`- universal.clear();`
`103`		`- not_contains.clear();`
`104`		`-}`
`105`		`-`
`106`	`99`	`/// Merge two sets of constraints by appending to the first one`
`107`	`100`	`void merge(string_constraintst &result, string_constraintst other)`
`108`	`101`	`{`