Renaming
[satune.git] / src / AST / table.cc
index c4e95941a2fbd66e4a56ebe52a77b607ba34c1bd..4d0716eb00b94def7db28c2794b6f1cc8e720503 100644 (file)
@@ -39,7 +39,7 @@ Table *Table::clone(CSolver *solver, CloneMap *map) {
        }
        Set *rcopy = range != NULL ? range->clone(solver, map) : NULL;
        t = solver->createTable(array, domains.getSize(), rcopy);
-       HSIteratorTableEntry *entryit = entries->iterator();
+       SetIteratorTableEntry *entryit = entries->iterator();
        while (entryit->hasNext()) {
                TableEntry *te = entryit->next();
                solver->addTableEntry(t, &te->inputs[0], te->inputSize, te->output);
@@ -50,7 +50,7 @@ Table *Table::clone(CSolver *solver, CloneMap *map) {
 }
 
 Table::~Table() {
-       HSIteratorTableEntry *iterator = entries->iterator();
+       SetIteratorTableEntry *iterator = entries->iterator();
        while (iterator->hasNext()) {
                deleteTableEntry(iterator->next());
        }