1 #ifndef PROCESSCONCRETE_H
2 #define PROCESSCONCRETE_H
5 class processconcrete {
7 processconcrete(model *m);
8 void processrule(Rule *r);
10 Element * evaluateexpr(CAElementexpr *ee, Hashtable *env);
13 Element * evaluateexpr(Expr *e, Hashtable *env);
14 bool evaluatestatementa(Statementa *sa, Hashtable *env);
15 void satisfystatementb(CStatementb *sb, Hashtable *env);