From f503cab120ac6d0d6cd3e9b97b818834a15f0443 Mon Sep 17 00:00:00 2001 From: bdemsky Date: Wed, 30 Aug 2017 15:00:54 -0700 Subject: [PATCH] Forgot file --- src/AST/astops.h | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 src/AST/astops.h diff --git a/src/AST/astops.h b/src/AST/astops.h new file mode 100644 index 0000000..cd2beaa --- /dev/null +++ b/src/AST/astops.h @@ -0,0 +1,19 @@ +#ifndef ASTOPS_H +#define ASTOPS_H + +enum FunctionType {TABLEFUNC, OPERATORFUNC}; +typedef enum FunctionType FunctionType; + +enum PredicateType {TABLEPRED, OPERATORPRED}; +typedef enum PredicateType PredicateType; + +enum ASTNodeType {ORDERCONST, BOOLEANVAR, LOGICOP, PREDICATEOP, BOOLCONST, ELEMSET, ELEMFUNCRETURN, ELEMCONST}; +typedef enum ASTNodeType ASTNodeType; + +enum Polarity {P_UNDEFINED=0, P_TRUE=1, P_FALSE=2, P_BOTHTRUEFALSE=3}; +typedef enum Polarity Polarity; + +enum BooleanValue {BV_UNDEFINED=0, BV_MUSTBETRUE=1, BV_MUSTBEFALSE=2, BV_UNSAT=3}; +typedef enum BooleanValue BooleanValue; + +#endif -- 2.34.1