Method getStackDepth

src/engine/SmtCore.cpp:228–233

}

unsigned SmtCore::getStackDepth() const
{
    ASSERT(
        ( _engine->inSnCMode() || _stack.size() == static_cast<unsigned>( _context.getLevel() ) ) );
    return _stack.size();
}

void SmtCore::popContext()
{