| 119 | } |
| 120 | |
| 121 | void Engine::adjustWorkMemorySize() |
| 122 | { |
| 123 | if ( _work ) |
| 124 | { |
| 125 | delete[] _work; |
| 126 | _work = NULL; |
| 127 | } |
| 128 | |
| 129 | _work = new double[_tableau->getM()]; |
| 130 | if ( !_work ) |
| 131 | throw MarabouError( MarabouError::ALLOCATION_FAILED, "Engine::work" ); |
| 132 | } |
| 133 | |
| 134 | void Engine::applySnCSplit( PiecewiseLinearCaseSplit sncSplit, String queryId ) |
| 135 | { |
nothing calls this directly
no test coverage detected