adding TableEntries and ...

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

diff --git a/src/AST/table.h b/src/AST/table.h
index 2bb98051f02c6ec5eefc902c3765cebda393d3b4..8027f88046199120915df5c2ab8f43e8e58f4d34 100644 (file)
--- a/src/AST/table.h
+++ b/src/AST/table.h
@@ -2,10 +2,15 @@
 #define TABLE_H
 #include "classlist.h"
 #include "mymemory.h"
+#include "structs.h"
 
 struct Table {
-
+    VectorSet* domains;
+    Set * range;
+    VectorTableEntry* entries;
 };
 
-Table * allocTable();
+Table * allocTable(Set **domains, uint numDomain, Set * range);
+void addNewTableEntry(Table* table, uint64_t* inputs, uint inputSize, uint64_t result);
+
 #endif