Method preContextPushHook

src/engine/Engine.cpp:2531–2541

}

void Engine::preContextPushHook()
{
    struct timespec start = TimeUtils::sampleMicro();
    _boundManager.storeLocalBounds();
    if ( _produceUNSATProofs )
        _groundBoundManager.storeLocalBounds();
    struct timespec end = TimeUtils::sampleMicro();

    _statistics.incLongAttribute( Statistics::TIME_CONTEXT_PUSH_HOOK,
                                  TimeUtils::timePassed( start, end ) );
}

void Engine::postContextPopHook()
{