Add OneHot Encoding

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

diff --git a/src/Backend/satencoder.c b/src/Backend/satencoder.c
index cd4b234c2c10325ed2ab366ca4f6b0888130a4c1..c34a04729d5038679d41d0504498d06b913e3422 100644 (file)
--- a/src/Backend/satencoder.c
+++ b/src/Backend/satencoder.c
@@ -127,6 +127,7 @@ void encodeElementSATEncoder(SATEncoder* encoder, Element *This){
                        encodeElementFunctionSATEncoder(encoder, (ElementFunction*) This);
                        break;
                case ELEMSET:
+                       generateElementEncoding(encoder, This);
                        return;
                default:
                        ASSERT(0);