Add LTE function for completeness and fix bug in LT
[satune.git] / src / Encoders / functionencoding.c
1 #include "functionencoding.h"
2
3 void initFunctionEncoding(FunctionEncoding *This, Element *function) {
4         This->op.function = function;
5         This->type = FUNC_UNASSIGNED;
6 }
7
8 void initPredicateEncoding(FunctionEncoding *This,  Boolean *predicate) {
9         This->op.predicate = predicate;
10         This->type = FUNC_UNASSIGNED;
11 }
12
13 void deleteFunctionEncoding(FunctionEncoding *This) {
14 }
15
16 void setFunctionEncodingType(FunctionEncoding *encoding, FunctionEncodingType type) {
17         encoding->type = type;
18 }