| 2857 | } |
| 2858 | |
| 2859 | PiecewiseLinearConstraint *Engine::pickSplitPLConstraintSnC( SnCDivideStrategy strategy ) |
| 2860 | { |
| 2861 | PiecewiseLinearConstraint *candidatePLConstraint = NULL; |
| 2862 | if ( strategy == SnCDivideStrategy::Polarity ) |
| 2863 | candidatePLConstraint = pickSplitPLConstraintBasedOnPolarity(); |
| 2864 | else if ( strategy == SnCDivideStrategy::EarliestReLU ) |
| 2865 | candidatePLConstraint = pickSplitPLConstraintBasedOnTopology(); |
| 2866 | |
| 2867 | ENGINE_LOG( Stringf( "Done updating scores..." ).ascii() ); |
| 2868 | ENGINE_LOG( |
| 2869 | Stringf( ( candidatePLConstraint ? "Picked..." |
| 2870 | : "Unable to pick using the current strategy..." ) ) |
| 2871 | .ascii() ); |
| 2872 | return candidatePLConstraint; |
| 2873 | } |
| 2874 | |
| 2875 | bool Engine::restoreSmtState( SmtState &smtState ) |
| 2876 | { |
no test coverage detected