X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FBackend%2Fsatencoder.h;h=b67708da00a749dbe0d9b9473c68d97f06f79e0a;hp=22177772542ae6f5c3100862ec356f071339eb2f;hb=f9f7d7f9830b7ca2b85c56bdeaff4ceae29f2128;hpb=e80028bf761f04dd410b45d1dadc0b8b5fd5817e

diff --git a/src/Backend/satencoder.h b/src/Backend/satencoder.h
index 2217777..b67708d 100644
--- a/src/Backend/satencoder.h
+++ b/src/Backend/satencoder.h
@@ -61,7 +61,9 @@ private:
 	Edge encodeEnumTablePredicateSATEncoder(BooleanPredicate *constraint);
 	void encodeEnumTableElemFunctionSATEncoder(ElementFunction *This);
 	void encodeEnumEntriesTableElemFuncSATEncoder(ElementFunction *This);
-
+        void generateAnyValueOneHotEncoding(ElementEncoding *encoding);
+	void generateAnyValueBinaryIndexEncoding(ElementEncoding *encoding);
+	void generateAnyValueBinaryValueEncoding(ElementEncoding *encoding);
 	CNF *cnf;
 	CSolver *solver;
 	BooleanToEdgeMap booledgeMap;