1 /********************* */
2 /*! \file theory_traits_template.h
4 ** Original author: Dejan Jovanovic
5 ** Major contributors: Morgan Deters
6 ** Minor contributors (to current version): none
7 ** This file is part of the CVC4 project.
8 ** Copyright (c) 2009-2014 New York University and The University of Iowa
9 ** See the file COPYING in the top-level source directory for licensing
10 ** information.\endverbatim
12 ** \brief A template for the theory_traits.h header, defining various
13 ** (static) aspects of theories
15 ** This file is a template for the theory_traits.h header, defining
16 ** various (static) aspects of theories, combined with the theory
17 ** kinds files to produce the final header.
20 #include "cvc4_private.h"
24 #include "theory/theory.h"
25 #include "theory/options.h"
32 template <TheoryId theoryId
>
37 $
{theory_for_each_macro
}
39 #line 40 "${template}"
41 struct TheoryConstructor
{
42 static void addTheory(TheoryEngine
* engine
, TheoryId id
) {
45 $
{theory_constructors
}
51 };/* struct CVC4::theory::TheoryConstructor */
53 }/* CVC4::theory namespace */