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