Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler

[satune.git] / src / AST / predicate.h

diff --git a/src/AST/predicate.h b/src/AST/predicate.h
index 9a1766962392fc36c70c9a9427792481b204cd3e..06c54bb21f02d457ea50622df6b31f7547051709 100644 (file)
--- a/src/AST/predicate.h
+++ b/src/AST/predicate.h
@@ -2,8 +2,14 @@
 #define PREDICATE_H
 #include "classlist.h"
 #include "mymemory.h"
+#include "ops.h"
+#include "structs.h"
 
 struct Predicate {
-
+    enum CompOp op;
+    VectorSet* domains;
 };
+
+
+Predicate* allocPredicate(enum CompOp op, Set ** domain, uint numDomain);
 #endif