| 176 | } |
| 177 | |
| 178 | void DeepPolyAbsoluteValueElement::allocateMemory() |
| 179 | { |
| 180 | freeMemoryIfNeeded(); |
| 181 | |
| 182 | DeepPolyElement::allocateMemory(); |
| 183 | |
| 184 | _symbolicLb = new double[_size]; |
| 185 | _symbolicUb = new double[_size]; |
| 186 | |
| 187 | std::fill_n( _symbolicLb, _size, 0 ); |
| 188 | std::fill_n( _symbolicUb, _size, 0 ); |
| 189 | |
| 190 | _symbolicLowerBias = new double[_size]; |
| 191 | _symbolicUpperBias = new double[_size]; |
| 192 | |
| 193 | std::fill_n( _symbolicLowerBias, _size, 0 ); |
| 194 | std::fill_n( _symbolicUpperBias, _size, 0 ); |
| 195 | } |
| 196 | |
| 197 | void DeepPolyAbsoluteValueElement::freeMemoryIfNeeded() |
| 198 | { |
nothing calls this directly
no outgoing calls
no test coverage detected