4 #include "tableentry.h"
6 #include "mutableset.h"
8 Table::Table(Set **_domains, uint numDomain, Set *_range) :
9 domains(_domains, numDomain),
11 entries = new HashSetTableEntry();
14 void Table::addNewTableEntry(uint64_t *inputs, uint inputSize, uint64_t result) {
17 ASSERT(result == true || result == false);
19 TableEntry *tb = allocTableEntry(inputs, inputSize, result);
20 bool status = entries->add(tb);
24 TableEntry * Table::getTableEntry(uint64_t *inputs, uint inputSize) {
25 TableEntry *temp = allocTableEntry(inputs, inputSize, -1);
26 TableEntry *result = entries->get(temp);
27 deleteTableEntry(temp);
32 HSIteratorTableEntry *iterator = entries->iterator();
33 while (iterator->hasNext()) {
34 deleteTableEntry(iterator->next());