X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FAlloyEnc%2Falloyenc.h;h=7864b846ca2f242252f902d3567afed313a872c8;hb=3896ad686a910868d7bf2988cd83a4fe3da700b2;hp=dd93eb039f7d65e22f3359bfe5a90403687bce7b;hpb=c8012458e3e2777c72ed1d9b217dfa3d69422a4d;p=satune.git

diff --git a/src/AlloyEnc/alloyenc.h b/src/AlloyEnc/alloyenc.h
index dd93eb0..7864b84 100644
--- a/src/AlloyEnc/alloyenc.h
+++ b/src/AlloyEnc/alloyenc.h
@@ -13,13 +13,15 @@ public:
 	void encode();
 	int solve();
 	void writeToFile(string str);
-	uint64_t getValue(Element * element);
+	uint64_t getValue(Element *element);
+	bool getBooleanValue(Boolean *element);
 	~AlloyEnc();
 private:
 	void dumpAlloyIntScope();
 	string encodeConstraint(BooleanEdge constraint);
 	int getResult();
 	string encodeBooleanLogic( BooleanLogic *bl);
+	string encodeBooleanVar( BooleanVar *bv);
 	string encodePredicate( BooleanPredicate *bp);
 	string encodeOperatorPredicate(BooleanPredicate *constraint);
 	CSolver *csolver;