CVC3  2.4.1
CVC3::ContextManager Member List

This is the complete list of members for CVC3::ContextManager, including all inherited members.

ContextManager()CVC3::ContextManager
createContext(const std::string &name="")CVC3::ContextManager
d_contextsCVC3::ContextManagerprivate
d_curContextCVC3::ContextManagerprivate
getCurrentContext()CVC3::ContextManagerinline
getMemory(int verbosity)CVC3::ContextManager
pop()CVC3::ContextManagerinline
popto(int toLevel)CVC3::ContextManagerinline
push()CVC3::ContextManagerinline
scopeLevel()CVC3::ContextManagerinline
switchContext(Context *context)CVC3::ContextManager
~ContextManager()CVC3::ContextManager