Fix some bugs, Moving backend codes to SATEncoder

[satune.git] / src / AST / element.c

diff --git a/src/AST/element.c b/src/AST/element.c
index f219072f4c8621f76411bbe5510ef48fde4959ba..5b9d847fddcd9512140d70dc810fdb40a12e89f9 100644 (file)
--- a/src/AST/element.c
+++ b/src/AST/element.c
@@ -44,16 +44,17 @@ Constraint * getElementValueConstraint(Element* This, uint64_t value) {
        switch(GETELEMENTTYPE(This)){
                case ELEMSET:
                        ; //Statement is needed for a label and This is a NOPE
-                       ElementSet* elemSet= ((ElementSet*)This);
-                       uint size = getSetSize(elemSet->set);
+                       uint size = getSetSize(((ElementSet*)This)->set);
+                       //FIXME
                        for(uint i=0; i<size; i++){
-                               if( getElementEncoding(elemSet)->encodingArray[i]==value){
-                                       return generateBinaryConstraint(getElementEncoding(elemSet)->numVars,
-                                               getElementEncoding(elemSet)->variables, i);
+                               if( getElementEncoding(This)->encodingArray[i]==value){
+                                       return generateBinaryConstraint(getElementEncoding(This)->numVars,
+                                               getElementEncoding(This)->variables, i);
                                }
                        }
                        break;
                case ELEMFUNCRETURN:
+                       ASSERT(0);
                        break;
                default:
                        ASSERT(0);