| 93 | } |
| 94 | |
| 95 | double DeepPolyElement::getLowerBoundFromLayer( unsigned index ) const |
| 96 | { |
| 97 | ASSERT( index < getSize() ); |
| 98 | return _layer->getLb( index ); |
| 99 | } |
| 100 | |
| 101 | double DeepPolyElement::getUpperBoundFromLayer( unsigned index ) const |
| 102 | { |
no test coverage detected