4 enum FunctionType {TABLEFUNC, OPERATORFUNC};
5 typedef enum FunctionType FunctionType;
7 enum PredicateType {TABLEPRED, OPERATORPRED};
8 typedef enum PredicateType PredicateType;
10 enum ASTNodeType {ORDERCONST, BOOLEANVAR, LOGICOP, PREDICATEOP, BOOLCONST, ELEMSET, ELEMFUNCRETURN, ELEMCONST, BOOLEANEDGE, ORDERTYPE, SETTYPE};
11 typedef enum ASTNodeType ASTNodeType;
13 enum Polarity {P_UNDEFINED=0, P_TRUE=1, P_FALSE=2, P_BOTHTRUEFALSE=3};
14 typedef enum Polarity Polarity;
16 enum BooleanValue {BV_UNDEFINED=0, BV_MUSTBETRUE=1, BV_MUSTBEFALSE=2, BV_UNSAT=3};
17 typedef enum BooleanValue BooleanValue;