From: Hamed <hamed.gorjiara@gmail.com>
Date: Tue, 20 Jun 2017 18:17:14 +0000 (-0700)
Subject: Adding TablePredicate
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c0be5e75ecdf7d03e931d73701c2d507c2a6f9b3;p=satune.git

Adding TablePredicate
---

diff --git a/src/AST/predicate.h b/src/AST/predicate.h
index 513e386..78cf2f6 100644
--- a/src/AST/predicate.h
+++ b/src/AST/predicate.h
@@ -10,6 +10,11 @@ struct Predicate {
 	VectorSet* domains;
 };
 
+struct TablePredicate{
+    CompOp op;
+    Table* table;
+};
+
 
 Predicate* allocPredicate(CompOp op, Set ** domain, uint numDomain);
 void deletePredicate(Predicate* predicate);