src/AST/table.h

   1 #ifndef TABLE_H
   2 #define TABLE_H
   3 #include "classlist.h"
   4 #include "mymemory.h"
   5 #include "structs.h"
   6
   7 struct Table {
   8         ArraySet domains;
   9         Set * range;
  10         HashSetTableEntry* entries;
  11 };
  12
  13 Table * allocTable(Set ** domains, uint numDomain, Set * range);
  14 void addNewTableEntry(Table * This, uint64_t * inputs, uint inputSize, uint64_t result);
  15 TableEntry* getTableEntryFromTable(Table* table, uint64_t* inputs, uint inputSize);
  16 void deleteTable(Table * This);
  17 #endif