getting two of FIXMEs fixed

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

diff --git a/src/AST/element.c b/src/AST/element.c
index 8379983390ced6078568f48c60cb0e3f0856dd73..9fc426c1fb686f544f7d20608b258ac8becad41c 100644 (file)
--- a/src/AST/element.c
+++ b/src/AST/element.c
@@ -33,7 +33,7 @@ Set* getElementSet(Element* This){
                case ELEMSET:
                        return ((ElementSet*)This)->set;
                case ELEMFUNCRETURN:
-                       ;//Nope is needed for label assignment. i.e. next instruction isn't 
+                       ;//Nope is needed for label assignment. i.e. next instruction isn't a statement 
                        Function* func = ((ElementFunction*)This)->function;
                        switch(GETFUNCTIONTYPE(func)){
                                case TABLEFUNC:
@@ -50,25 +50,6 @@ Set* getElementSet(Element* This){
        return NULL;
 }
 
-FIXME()!!!!
-
-/** This function belongs in the backend...Elements should not touch
-               binary constraints nor should they touch their encoders... */
-
-Constraint * getElementValueBinaryIndexConstraint(Element* This, uint64_t value) {
-       ASTNodeType type = GETELEMENTTYPE(This);
-       ASSERT(type == ELEMSET || type == ELEMFUNCRETURN);
-       ElementEncoding* elemEnc = getElementEncoding(This);
-       for(uint i=0; i<elemEnc->encArraySize; i++){
-               if( isinUseElement(elemEnc, i) && elemEnc->encodingArray[i]==value){
-                       return generateBinaryConstraint(elemEnc->numVars,
-                               elemEnc->variables, i);
-               }
-       }
-       ASSERT(0);
-       return NULL;
-}
-
 void deleteElement(Element *This) {
        switch(GETELEMENTTYPE(This)) {
        case ELEMFUNCRETURN: {