| 246 | } |
| 247 | |
| 248 | unsigned InputQuery::countInfiniteBounds() |
| 249 | { |
| 250 | unsigned result = 0; |
| 251 | |
| 252 | for ( const auto &lowerBound : _lowerBounds ) |
| 253 | if ( lowerBound.second == FloatUtils::negativeInfinity() ) |
| 254 | ++result; |
| 255 | |
| 256 | for ( const auto &upperBound : _upperBounds ) |
| 257 | if ( upperBound.second == FloatUtils::infinity() ) |
| 258 | ++result; |
| 259 | |
| 260 | for ( unsigned i = 0; i < _numberOfVariables; ++i ) |
| 261 | { |
| 262 | if ( !_lowerBounds.exists( i ) ) |
| 263 | ++result; |
| 264 | if ( !_upperBounds.exists( i ) ) |
| 265 | ++result; |
| 266 | } |
| 267 | |
| 268 | return result; |
| 269 | } |
| 270 | |
| 271 | void InputQuery::mergeIdenticalVariables( unsigned v1, unsigned v2 ) |
| 272 | { |