diff options
Diffstat (limited to 'src/theory/theory_traits_template.h')
-rw-r--r-- | src/theory/theory_traits_template.h | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/src/theory/theory_traits_template.h b/src/theory/theory_traits_template.h new file mode 100644 index 000000000..067fe55d0 --- /dev/null +++ b/src/theory/theory_traits_template.h @@ -0,0 +1,26 @@ +/* + * theory_traits_template.h + * + * Created on: Dec 23, 2010 + * Author: dejan + */ + +#pragma once + +#include "theory/theory.h" + +${theory_includes} + +namespace CVC4 { + +namespace theory { + +template <TheoryId theoryId> +struct TheoryTraits; + +${theory_traits} + +${theory_for_each_macro} + +}/* theory namespace */ +}/* CVC4 namespace */ |