remove redundant domains

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

diff --git a/src/AST/table.h b/src/AST/table.h
index c196d3cf0801db83449123b45905663ba7e1b80d..bd5bf182bfff4eebb7c6623e79991d009a395fdc 100644 (file)
--- a/src/AST/table.h
+++ b/src/AST/table.h
@@ -6,7 +6,7 @@
 
 class Table {
 public:
-       Table(Set **domains, uint numDomain, Set *range);
+       Table(Set *range);
        void addNewTableEntry(uint64_t *inputs, uint inputSize, uint64_t result);
        TableEntry *getTableEntry(uint64_t *inputs, uint inputSize);
        Table *clone(CSolver *solver, CloneMap *map);
@@ -15,16 +15,12 @@ public:
        ~Table();
        Set *getRange() {return range;}
 
-       Set *getDomain(uint i) {return domains.get(i);}
-       uint numDomains() {return domains.getSize();}
-
        SetIteratorTableEntry *getEntries() {return entries->iterator();}
        uint getSize() {return entries->getSize();}
 
        CMEMALLOC;
 
 private:
-       Array<Set *> domains;
        Set *range;
        HashsetTableEntry *entries;
 };