| 267 | } |
| 268 | |
| 269 | void NetworkLevelReasoner::iterativePropagation() |
| 270 | { |
| 271 | IterativePropagator iterativePropagator( this ); |
| 272 | iterativePropagator.setCutoff( 0 ); |
| 273 | iterativePropagator.optimizeBoundsWithIterativePropagation( _layerIndexToLayer ); |
| 274 | } |
| 275 | |
| 276 | void NetworkLevelReasoner::intervalArithmeticBoundPropagation() |
| 277 | { |
no test coverage detected