Adding predicateOperator (equality operation ...)

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

diff --git a/src/AST/table.h b/src/AST/table.h
index cff8ec6c80ddd056c2707f1666f98682cb7c41ba..90f50015071d9c701c9c76310602ee0da1813de4 100644 (file)
--- a/src/AST/table.h
+++ b/src/AST/table.h
@@ -5,10 +5,9 @@
 #include "structs.h"
 
 struct Table {
-       Set ** domains;
+       ArraySet domains;
        Set * range;
-       uint numDomains;
-       VectorTableEntry* entries;
+       VectorTableEntry entries;
 };
 
 Table * allocTable(Set **domains, uint numDomain, Set * range);