5 #include "signatureenc.h"
6 #include "interpreter.h"
10 class AlloyInterpreter: public Interpreter{
12 AlloyInterpreter(CSolver *solver);
13 virtual ~AlloyInterpreter();
15 virtual void dumpFooter();
16 virtual void dumpHeader();
17 virtual void compileRunCommand(char * command , size_t size);
18 virtual int getResult();
19 virtual void dumpAllConstraints(Vector<char *> &facts);
20 virtual string negateConstraint(string constr);
21 virtual string encodeBooleanLogic( BooleanLogic *bl);
22 virtual string encodeBooleanVar( BooleanVar *bv);
23 string encodeOperatorPredicate(BooleanPredicate *constraint);
24 virtual string processElementFunction(ElementFunction *element, ElementSig *signature);
25 virtual string operatorPredicateConstraint(CompOp op, ElementSig *elemSig1, ElementSig *elemSig2);