Fix some bugs, Moving backend codes to SATEncoder

[satune.git] / src / Encoders / functionencoding.h

diff --git a/src/Encoders/functionencoding.h b/src/Encoders/functionencoding.h
index 60690e3857a0626433a16fa255e17bb510215649..a3521396f04abef9689b7371f4905e88b430dd14 100644 (file)
--- a/src/Encoders/functionencoding.h
+++ b/src/Encoders/functionencoding.h
@@ -21,18 +21,6 @@ struct FunctionEncoding {
        ElementPredicate op;
 };
 
-inline FunctionEncoding* getFunctionEncoding(ASTNode func){
-       switch(GETASTNODETYPE(func)){
-               case ELEMFUNCRETURN:
-                       return &((ElementFunction*)func)->functionencoding;
-               case PREDICATEOP:
-                       return &((BooleanPredicate*)func)->encoding;
-               default:
-                       ASSERT(0);
-       }
-       return NULL;
-}
-
 void initFunctionEncoding(FunctionEncoding *encoding, Element *function);
 void initPredicateEncoding(FunctionEncoding *encoding, Boolean *predicate);
 void setFunctionEncodingType(FunctionEncoding* encoding, FunctionEncodingType type);