Binary encoding for ElementSet and table-based ElementFunction

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

diff --git a/src/AST/table.h b/src/AST/table.h
index 2bb98051f02c6ec5eefc902c3765cebda393d3b4..fa83b06b73e4fe39f9df0d3aae45ec90097b8198 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 {
-
+       ArrayElement domains;
+       Element * range;
+       VectorTableEntry entries;
 };
 
-Table * allocTable();
+Table * allocTable(Element **domains, uint numDomain, Element * range);
+void addNewTableEntry(Table* table, uint64_t* inputs, uint inputSize, uint64_t result);
+void deleteTable(Table* table);
 #endif