| 18 | namespace NLR { |
| 19 | |
| 20 | DeepPolyElement::DeepPolyElement() |
| 21 | : _layer( NULL ) |
| 22 | , _size( 0 ) |
| 23 | , _layerIndex( 0 ) |
| 24 | , _symbolicLb( NULL ) |
| 25 | , _symbolicUb( NULL ) |
| 26 | , _symbolicLowerBias( NULL ) |
| 27 | , _symbolicUpperBias( NULL ) |
| 28 | , _lb( NULL ) |
| 29 | , _ub( NULL ) |
| 30 | , _work1SymbolicLb( NULL ) |
| 31 | , _work1SymbolicUb( NULL ) |
| 32 | , _work2SymbolicLb( NULL ) |
| 33 | , _work2SymbolicUb( NULL ) |
| 34 | , _workSymbolicLowerBias( NULL ) |
| 35 | , _workSymbolicUpperBias( NULL ){}; |
| 36 | |
| 37 | unsigned DeepPolyElement::getSize() const |
| 38 | { |
nothing calls this directly
no outgoing calls
no test coverage detected