| 132 | } |
| 133 | |
| 134 | void Engine::applySnCSplit( PiecewiseLinearCaseSplit sncSplit, String queryId ) |
| 135 | { |
| 136 | _sncMode = true; |
| 137 | _sncSplit = sncSplit; |
| 138 | _queryId = queryId; |
| 139 | preContextPushHook(); |
| 140 | _smtCore.pushContext(); |
| 141 | applySplit( sncSplit ); |
| 142 | _boundManager.propagateTightenings(); |
| 143 | } |
| 144 | |
| 145 | bool Engine::inSnCMode() const |
| 146 | { |
no test coverage detected