Removing extra constraints for the unary encoding
[satune.git] / src / Backend / satencoder.h
index 115bc31..b67708d 100644 (file)
@@ -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;