Clear lists after building Query in InputQueryBuilder.

This way the responsibility for deleting items there is passed to the caller.
NeuralNetworkVerification · Feb 12, 2025 · 280a66f · 280a66f
1 parent 520156d
commit 280a66f
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/src/input_parsers/InputQueryBuilder.cpp b/src/input_parsers/InputQueryBuilder.cpp
@@ -133,18 +133,21 @@ void InputQueryBuilder::generateQuery( IQuery &query )
         query.markInputVariable( inputVar, i );
         i++;
     }
+    _inputVars.clear();
 
     int j = 0;
     for ( Variable outputVar : _outputVars )
     {
         query.markOutputVariable( outputVar, j );
         j++;
     }
+    _outputVars.clear();
 
     for ( Equation equation : _equationList )
     {
         query.addEquation( equation );
     }
+    _equationList.clear();
 
     for ( ReluConstraint *constraintPtr : _reluList )
     {
@@ -154,6 +157,7 @@ void InputQueryBuilder::generateQuery( IQuery &query )
         } );
         query.addPiecewiseLinearConstraint( constraintPtr );
     }
+    _reluList.clear();
 
     for ( LeakyReluConstraint *constraintPtr : _leakyReluList )
     {
@@ -163,6 +167,7 @@ void InputQueryBuilder::generateQuery( IQuery &query )
         } );
         query.addPiecewiseLinearConstraint( constraintPtr );
     }
+    _leakyReluList.clear();
 
     for ( SigmoidConstraint *constraintPtr : _sigmoidList )
     {
@@ -172,6 +177,7 @@ void InputQueryBuilder::generateQuery( IQuery &query )
         } );
         query.addNonlinearConstraint( constraintPtr );
     }
+    _sigmoidList.clear();
 
     for ( MaxConstraint *constraintPtr : _maxList )
     {
@@ -185,6 +191,7 @@ void InputQueryBuilder::generateQuery( IQuery &query )
         } );
         query.addPiecewiseLinearConstraint( constraintPtr );
     }
+    _maxList.clear();
 
     for ( AbsoluteValueConstraint *constraintPtr : _absList )
     {
@@ -194,6 +201,7 @@ void InputQueryBuilder::generateQuery( IQuery &query )
         } );
         query.addPiecewiseLinearConstraint( constraintPtr );
     }
+    _absList.clear();
 
     for ( SignConstraint *constraintPtr : _signList )
     {
@@ -203,6 +211,7 @@ void InputQueryBuilder::generateQuery( IQuery &query )
         } );
         query.addPiecewiseLinearConstraint( constraintPtr );
     }
+    _signList.clear();
 
     // TODO check this last two
     for ( std::pair<Variable, float> lower : _lowerBounds )