| 212 | } |
| 213 | |
| 214 | void NetworkLevelReasoner::lpRelaxationPropagation() |
| 215 | { |
| 216 | LPFormulator lpFormulator( this ); |
| 217 | lpFormulator.setCutoff( 0 ); |
| 218 | |
| 219 | if ( Options::get()->getMILPSolverBoundTighteningType() == |
| 220 | MILPSolverBoundTighteningType::BACKWARD_ANALYSIS_ONCE || |
| 221 | Options::get()->getMILPSolverBoundTighteningType() == |
| 222 | MILPSolverBoundTighteningType::BACKWARD_ANALYSIS_CONVERGE ) |
| 223 | lpFormulator.optimizeBoundsWithLpRelaxation( _layerIndexToLayer, true ); |
| 224 | else if ( Options::get()->getMILPSolverBoundTighteningType() == |
| 225 | MILPSolverBoundTighteningType::LP_RELAXATION ) |
| 226 | lpFormulator.optimizeBoundsWithLpRelaxation( _layerIndexToLayer ); |
| 227 | else if ( Options::get()->getMILPSolverBoundTighteningType() == |
| 228 | MILPSolverBoundTighteningType::LP_RELAXATION_INCREMENTAL ) |
| 229 | lpFormulator.optimizeBoundsWithIncrementalLpRelaxation( _layerIndexToLayer ); |
| 230 | } |
| 231 | |
| 232 | void NetworkLevelReasoner::LPTighteningForOneLayer( unsigned targetIndex ) |
| 233 | { |
no test coverage detected