src/Encoders/functionencoding.h

   1 #ifndef FUNCTIONENCODING_H
   2 #define FUNCTIONENCODING_H
   3 #include "classlist.h"
   4
   5 enum FunctionEncodingType {
   6         FUNC_UNASSIGNED, ENUMERATEIMPLICATIONS, ENUMERATEIMPLICATIONSNEGATE, 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 setFunctionEncodingType(FunctionEncoding* encoding, FunctionEncodingType type);
  27 void deleteFunctionEncoding(FunctionEncoding *This);
  28
  29 #endif