Repair/RepairInterpreter/processconcrete.h

   1 #ifndef PROCESSCONCRETE_H
   2 #define PROCESSCONCRETE_H
   3 #include "classlist.h"
   4
   5 class processconcrete {
   6  public:
   7   processconcrete(model *m);
   8   void processrule(Rule *r);
   9   ~processconcrete();
  10   Element * evaluateexpr(CAElementexpr *ee, Hashtable *env);
  11   void printstats();
  12  private:
  13   Element * evaluateexpr(Expr *e, Hashtable *env);
  14   bool evaluatestatementa(Statementa *sa, Hashtable *env);
  15   void satisfystatementb(CStatementb *sb, Hashtable *env);
  16   model * globalmodel;
  17   bitwriter * bw;
  18   bitreader * br;
  19 };
  20
  21
  22 #endif