src/AST/astops.h

   1 #ifndef ASTOPS_H
   2 #define ASTOPS_H
   3
   4 enum FunctionType {TABLEFUNC, OPERATORFUNC};
   5 typedef enum FunctionType FunctionType;
   6
   7 enum PredicateType {TABLEPRED, OPERATORPRED};
   8 typedef enum PredicateType PredicateType;
   9
  10 enum ASTNodeType {ORDERCONST, BOOLEANVAR, LOGICOP, PREDICATEOP, BOOLCONST, ELEMSET, ELEMFUNCRETURN, ELEMCONST,
  11         BOOLEANEDGE, ORDERTYPE, SETTYPE, PREDTABLETYPE, PREDOPERTYPE, TABLETYPE, FUNCTABLETYPE, FUNCOPTYPE};
  12 typedef enum ASTNodeType ASTNodeType;
  13
  14 enum Polarity {P_UNDEFINED=0, P_TRUE=1, P_FALSE=2, P_BOTHTRUEFALSE=3};
  15 typedef enum Polarity Polarity;
  16
  17 enum BooleanValue {BV_UNDEFINED=0, BV_MUSTBETRUE=1, BV_MUSTBEFALSE=2, BV_UNSAT=3};
  18 typedef enum BooleanValue BooleanValue;
  19
  20 enum ElementEncodingType {
  21         ELEM_UNASSIGNED, ONEHOT, UNARY, BINARYINDEX, BINARYVAL
  22 };
  23
  24 typedef enum ElementEncodingType ElementEncodingType;
  25
  26
  27 #endif