~AlloyEnc();
private:
void dumpAlloyIntScope();
string encodeConstraint(BooleanEdge constraint);
int getResult();
string encodeBooleanLogic( BooleanLogic *bl);
~AlloyEnc();
private:
void dumpAlloyIntScope();
string encodeConstraint(BooleanEdge constraint);
int getResult();
string encodeBooleanLogic( BooleanLogic *bl);