1 #ifndef FUNCTIONENCODING_H
2 #define FUNCTIONENCODING_H
5 enum FunctionEncodingType {
6 FUNC_UNASSIGNED, ENUMERATEIMPLICATIONS, ENUMERATEIMPLICATIONSNEGATE, CIRCUIT
9 typedef enum FunctionEncodingType FunctionEncodingType;
11 union ElementPredicate {
16 typedef union ElementPredicate ElementPredicate;
18 class FunctionEncoding {
20 FunctionEncodingType type;
21 bool isFunction;//true for function, false for predicate
23 FunctionEncoding(Element *function);
24 FunctionEncoding(Boolean *predicate);
25 void setFunctionEncodingType(FunctionEncodingType type);
26 FunctionEncodingType getFunctionEncodingType() {return type;}