Resolving Conflicts ... Still there're errors that should be fixed
[satune.git] / src / Encoders / functionencoding.h
1 #ifndef FUNCTIONENCODING_H
2 #define FUNCTIONENCODING_H
3 #include "classlist.h"
4
5 enum FunctionEncodingType {
6         FUNC_UNASSIGNED, ENUMERATEIMPLICATIONS, CIRCUIT
7 };
8
9 typedef enum FunctionEncodingType FunctionEncodingType;
10
11 union ElementPredicate {
12         Element * function;
13         Boolean * predicate;
14 };
15
16 typedef union ElementPredicate ElementPredicate;
17
18 struct FunctionEncoding {
19         FunctionEncodingType type;
20         bool isFunction;//true for function, false for predicate
21         ElementPredicate op;
22 };
23
24 void initFunctionEncoding(FunctionEncoding *encoding, Element *function);
25 void initPredicateEncoding(FunctionEncoding *encoding, Boolean *predicate);
26 void deleteFunctionEncoding(FunctionEncoding *This);
27
28 #endif