Removed BaBSR from SnC strategy parsing in Engine

NeuralNetworkVerification · Jan 17, 2025 · ce03e4f · ce03e4f
1 parent 6e6d405
commit ce03e4f
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/engine/Engine.cpp b/src/engine/Engine.cpp
@@ -2910,9 +2910,7 @@ PiecewiseLinearConstraint *Engine::pickSplitPLConstraint( DivideStrategy strateg
 PiecewiseLinearConstraint *Engine::pickSplitPLConstraintSnC( SnCDivideStrategy strategy )
 {
     PiecewiseLinearConstraint *candidatePLConstraint = NULL;
-    if ( strategy == SnCDivideStrategy::BaBsrHeuristic )
-        candidatePLConstraint = pickSplitPLConstraintBasedOnBaBsrHeuristic();
-    else if ( strategy == SnCDivideStrategy::Polarity )
+    if ( strategy == SnCDivideStrategy::Polarity )
         candidatePLConstraint = pickSplitPLConstraintBasedOnPolarity();
     else if ( strategy == SnCDivideStrategy::EarliestReLU )
         candidatePLConstraint = pickSplitPLConstraintBasedOnTopology();