X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FBackend%2Fsatencoder.h;h=b67708da00a749dbe0d9b9473c68d97f06f79e0a;hp=115bc319556c3dced152ff0718d9bbbd572d4583;hb=f9f7d7f9830b7ca2b85c56bdeaff4ceae29f2128;hpb=238830745ba3939323c285b722c9ae512b7baa9b;ds=sidebyside

diff --git a/src/Backend/satencoder.h b/src/Backend/satencoder.h
index 115bc31..b67708d 100644
--- a/src/Backend/satencoder.h
+++ b/src/Backend/satencoder.h
@@ -62,7 +62,6 @@ private:
 	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;