Fixing inline functions

diff --git a/src/AST/boolean.h b/src/AST/boolean.h
index 297c3835d007f9d808bd8b2c8a4d03b8a0b8bb48..a59aff182407c55035691970e565117a027ee696 100644 (file)
--- a/src/AST/boolean.h
+++ b/src/AST/boolean.h
@@ -51,7 +51,7 @@ Boolean * allocBooleanPredicate(Predicate * predicate, Element ** inputs, uint n
 Boolean * allocBooleanLogicArray(CSolver *solver, LogicOp op, Boolean ** array, uint asize);
 void deleteBoolean(Boolean * This);
 
-inline FunctionEncoding* getPredicateFunctionEncoding(BooleanPredicate* func){
+static inline FunctionEncoding* getPredicateFunctionEncoding(BooleanPredicate* func){
        return &func->encoding;
 }
 

diff --git a/src/AST/element.h b/src/AST/element.h
index 3f9693a9a591f1b61d9c606399a24c3faa3e8ca1..646276f4ffeca758776296852c2f257ff168228e 100644 (file)
--- a/src/AST/element.h
+++ b/src/AST/element.h
@@ -35,7 +35,7 @@ Element * allocElementSet(Set *s);
 Element* allocElementFunction(Function * function, Element ** array, uint numArrays, Boolean * overflowstatus);
 void deleteElement(Element *This);
 
-inline ElementEncoding* getElementEncoding(Element* This){
+static inline ElementEncoding* getElementEncoding(Element* This){
        switch(GETELEMENTTYPE(This)){
                case ELEMSET:
                        return &((ElementSet*)This)->encoding;
@@ -48,7 +48,7 @@ inline ElementEncoding* getElementEncoding(Element* This){
 }
 
 
-inline FunctionEncoding* getElementFunctionEncoding(ElementFunction* func){
+static inline FunctionEncoding* getElementFunctionEncoding(ElementFunction* func){
        return &func->functionencoding;
 }
 

diff --git a/src/Backend/satencoder.h b/src/Backend/satencoder.h
index dcc65462d087ceb02f9e7ccc9856c181c33a5eb3..79e2c525b73cd3f92785bcff45415951e73fccd3 100644 (file)
--- a/src/Backend/satencoder.h
+++ b/src/Backend/satencoder.h
@@ -11,10 +11,10 @@ struct SATEncoder {
        VectorConstraint allConstraints;
 };
 
-inline VectorConstraint* getSATEncoderVars(SATEncoder* ne){
+static inline VectorConstraint* getSATEncoderVars(SATEncoder* ne){
        return &ne->vars;
 }
-inline VectorConstraint* getSATEncoderAllConstraints(SATEncoder* ne){
+static inline VectorConstraint* getSATEncoderAllConstraints(SATEncoder* ne){
        return &ne->allConstraints;
 }
 SATEncoder * allocSATEncoder();