Add OneHot Encoding

[satune.git] / src / Encoders / elementencoding.c

diff --git a/src/Encoders/elementencoding.c b/src/Encoders/elementencoding.c
index 2989b3b8abb48daf408e7382ea1c19e448a6c7e9..2d0b600d6d9f7eaaa7d3ecc78229290438398678 100644 (file)
--- a/src/Encoders/elementencoding.c
+++ b/src/Encoders/elementencoding.c
@@ -33,30 +33,7 @@ void allocInUseArrayElement(ElementEncoding *This, uint size) {
        This->inUseArray=ourcalloc(1, bytes);
 }
 
-void allocElementConstraintVariables(ElementEncoding* This, uint numVars){
-       This->numVars = numVars;
-       This->variables = ourmalloc(sizeof(Edge) * numVars);
-}
-
 void setElementEncodingType(ElementEncoding* This, ElementEncodingType type){
        This->type = type;
 }
 
-void generateBinaryIndexEncodingVars(SATEncoder* encoder, ElementEncoding* This){
-       ASSERT(This->type==BINARYINDEX);
-       allocElementConstraintVariables(This, NUMBITS(This->encArraySize-1));
-       getArrayNewVarsSATEncoder(encoder, This->numVars, This->variables);
-}
-
-void generateElementEncodingVariables(SATEncoder* encoder, ElementEncoding* This){
-       ASSERT(This->type!=ELEM_UNASSIGNED);
-       if(This->variables!=NULL)
-               return;
-       switch(This->type){
-               case BINARYINDEX:
-                       generateBinaryIndexEncodingVars(encoder, This);
-                       break;
-               default:
-                       ASSERT(0);
-       }
-}