From: bdemsky <bdemsky@uci.edu>
Date: Wed, 30 Aug 2017 22:00:54 +0000 (-0700)
Subject: Forgot file
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f503cab120ac6d0d6cd3e9b97b818834a15f0443;p=satune.git

Forgot file
---

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