Removing extra constraints for the unary encoding

[satune.git] / src / Backend / satencoder.h

diff --git a/src/Backend/satencoder.h b/src/Backend/satencoder.h
index 115bc319556c3dced152ff0718d9bbbd572d4583..b67708da00a749dbe0d9b9473c68d97f06f79e0a 100644 (file)
--- 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 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;
        void generateAnyValueBinaryIndexEncoding(ElementEncoding *encoding);
        void generateAnyValueBinaryValueEncoding(ElementEncoding *encoding);
        CNF *cnf;