Make naive encoding follow AST Tree

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

diff --git a/src/Encoders/functionencoding.h b/src/Encoders/functionencoding.h
index 41d99761e6958309e66f946e1e428c2e89639cbb..fa8729e086ef1ebde07ef1aaa6e088f020401cc0 100644 (file)
--- a/src/Encoders/functionencoding.h
+++ b/src/Encoders/functionencoding.h
@@ -24,6 +24,7 @@ struct FunctionEncoding {
 void initFunctionEncoding(FunctionEncoding *encoding, Element *function);
 void initPredicateEncoding(FunctionEncoding *encoding, Boolean *predicate);
 void setFunctionEncodingType(FunctionEncoding* encoding, FunctionEncodingType type);
+static inline FunctionEncodingType getFunctionEncodingType(FunctionEncoding* This) {return This->type;}
 void deleteFunctionEncoding(FunctionEncoding *This);
 
 #endif