| 70 | }; |
| 71 | |
| 72 | void BoundManager::initialize( unsigned numberOfVariables ) |
| 73 | { |
| 74 | ASSERT( _size == 0 ); |
| 75 | |
| 76 | allocateLocalBounds( numberOfVariables ); |
| 77 | |
| 78 | for ( unsigned i = 0; i < numberOfVariables; ++i ) |
| 79 | registerNewVariable(); |
| 80 | |
| 81 | ASSERT( _size == numberOfVariables ); |
| 82 | ASSERT( _allocated == numberOfVariables ); |
| 83 | } |
| 84 | |
| 85 | void BoundManager::allocateLocalBounds( unsigned size ) |
| 86 | { |
no outgoing calls