1 #include "cvc4_private.h"
2 
3 #ifndef __CVC4__THEORY__$id__THEORY_$id_H
4 #define __CVC4__THEORY__$id__THEORY_$id_H
5 
6 #include "theory/theory.h"
7 
8 namespace CVC4 {
9 namespace theory {
10 namespace $dir {
11 
12 class Theory$camel : public Theory {
13 public:
14 
15   /** Constructs a new instance of Theory$camel w.r.t. the provided contexts. */
16   Theory$camel(context::Context* c,
17                context::UserContext* u,
18                OutputChannel& out,
19                Valuation valuation,
20                const LogicInfo& logicInfo);
21 
22   void check(Effort);
23 
identify()24   std::string identify() const {
25     return "THEORY_$id";
26   }
27 
28 };/* class Theory$camel */
29 
30 }/* CVC4::theory::$dir namespace */
31 }/* CVC4::theory namespace */
32 }/* CVC4 namespace */
33 
34 #endif /* __CVC4__THEORY__$id__THEORY_$id_H */
35