#define TABLE_H
#include "classlist.h"
#include "mymemory.h"
+#include "structs.h"
struct Table {
-
+ ArraySet domains;
+ Set * range;
+ VectorTableEntry entries;
};
-Table * allocTable();
+Table * allocTable(Set ** domains, uint numDomain, Set * range);
+void addNewTableEntry(Table * This, uint64_t * inputs, uint inputSize, uint64_t result);
+void deleteTable(Table * This);
#endif