| 2163 | } |
| 2164 | |
| 2165 | bool Engine::applyAllValidConstraintCaseSplits() |
| 2166 | { |
| 2167 | struct timespec start = TimeUtils::sampleMicro(); |
| 2168 | |
| 2169 | bool appliedSplit = false; |
| 2170 | for ( auto &constraint : _plConstraints ) |
| 2171 | if ( applyValidConstraintCaseSplit( constraint ) ) |
| 2172 | appliedSplit = true; |
| 2173 | |
| 2174 | struct timespec end = TimeUtils::sampleMicro(); |
| 2175 | _statistics.incLongAttribute( Statistics::TOTAL_TIME_PERFORMING_VALID_CASE_SPLITS_MICRO, |
| 2176 | TimeUtils::timePassed( start, end ) ); |
| 2177 | |
| 2178 | return appliedSplit; |
| 2179 | } |
| 2180 | |
| 2181 | bool Engine::applyValidConstraintCaseSplit( PiecewiseLinearConstraint *constraint ) |
| 2182 | { |
no test coverage detected