src/Encoders/functionencoding.h

   1 #ifndef FUNCTIONENCODING_H
   2 #define FUNCTIONENCODING_H
   3 #include "classlist.h"
   4
   5 enum FunctionEncodingType {
   6         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 FunctionEncoding * allocFunctionEncoding(FunctionEncodingType type, Element *function);
  25 FunctionEncoding * allocPredicateEncoding(FunctionEncodingType type, Boolean *predicate);
  26 void deleteFunctionEncoding(FunctionEncoding *this);
  27 #endif