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, BOOLEANEDGE};
  11 typedef enum ASTNodeType ASTNodeType;
  12
  13 enum Polarity {P_UNDEFINED=0, P_TRUE=1, P_FALSE=2, P_BOTHTRUEFALSE=3};
  14 typedef enum Polarity Polarity;
  15
  16 enum BooleanValue {BV_UNDEFINED=0, BV_MUSTBETRUE=1, BV_MUSTBEFALSE=2, BV_UNSAT=3};
  17 typedef enum BooleanValue BooleanValue;
  18
  19 #endif