diff options
Diffstat (limited to 'src/include/context.h')
-rw-r--r-- | src/include/context.h | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/include/context.h b/src/include/context.h index 845660ed7..1997e63d6 100644 --- a/src/include/context.h +++ b/src/include/context.h @@ -12,6 +12,8 @@ namespace CVC4 { +class Context; + class ContextManager { public: void switchContext(Context); @@ -24,6 +26,18 @@ public: void restore(); };/* class ContextObject */ +template <class T> +class CDO; + +template <class T> +class CDMap; + +template <class T> +class CDList; + +template <class T> +class CDSet; + }/* CVC4 namespace */ #endif /* __CVC4_CONTEXT_H */ |