| 115 | } |
| 116 | |
| 117 | void DeepPolyElement::allocateMemory() |
| 118 | { |
| 119 | freeMemoryIfNeeded(); |
| 120 | |
| 121 | unsigned size = getSize(); |
| 122 | _lb = new double[size]; |
| 123 | _ub = new double[size]; |
| 124 | |
| 125 | std::fill_n( _lb, size, FloatUtils::negativeInfinity() ); |
| 126 | std::fill_n( _ub, size, FloatUtils::infinity() ); |
| 127 | } |
| 128 | |
| 129 | void DeepPolyElement::freeMemoryIfNeeded() |
| 130 | { |
nothing calls this directly
no outgoing calls
no test coverage detected