| 178 | } |
| 179 | |
| 180 | void DeepPolyAnalysis::allocateMemory() |
| 181 | { |
| 182 | freeMemoryIfNeeded(); |
| 183 | _work1SymbolicLb = new double[_maxLayerSize * _maxLayerSize]; |
| 184 | _work1SymbolicUb = new double[_maxLayerSize * _maxLayerSize]; |
| 185 | _work2SymbolicLb = new double[_maxLayerSize * _maxLayerSize]; |
| 186 | _work2SymbolicUb = new double[_maxLayerSize * _maxLayerSize]; |
| 187 | |
| 188 | _workSymbolicLowerBias = new double[_maxLayerSize]; |
| 189 | _workSymbolicUpperBias = new double[_maxLayerSize]; |
| 190 | |
| 191 | std::fill_n( _work1SymbolicLb, _maxLayerSize * _maxLayerSize, 0 ); |
| 192 | std::fill_n( _work1SymbolicUb, _maxLayerSize * _maxLayerSize, 0 ); |
| 193 | std::fill_n( _work2SymbolicLb, _maxLayerSize * _maxLayerSize, 0 ); |
| 194 | std::fill_n( _work2SymbolicUb, _maxLayerSize * _maxLayerSize, 0 ); |
| 195 | |
| 196 | std::fill_n( _workSymbolicLowerBias, _maxLayerSize, 0 ); |
| 197 | std::fill_n( _workSymbolicUpperBias, _maxLayerSize, 0 ); |
| 198 | } |
| 199 | |
| 200 | DeepPolyElement *DeepPolyAnalysis::createDeepPolyElement( Layer *layer ) |
| 201 | { |
nothing calls this directly
no outgoing calls
no test coverage detected