X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FBackend%2Fsatencoder.h;fp=src%2FBackend%2Fsatencoder.h;h=115bc319556c3dced152ff0718d9bbbd572d4583;hp=22177772542ae6f5c3100862ec356f071339eb2f;hb=9ef6c2bc13c8474fa7848e06f312cdcd05254b6b;hpb=27413a58e0ac937614ba6c6e88e1d85d0e526e49

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