Method getContextStackSize

src/ast/ast_program.cpp:28–30

    }

    int Program::getContextStackSize() const {
        return options.getIntOption("stack", policies.stack);
    }

    vector<EnumerationPtr> Program::findEnum ( const string & name ) const {
        return library.findEnum(name,thisModule.get());