diff options
author | Clifford Wolf <clifford@clifford.at> | 2019-03-15 00:51:40 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-15 00:51:40 +0100 |
commit | b5cf8c9442774bba49d308d75d72036d6b05ec38 (patch) | |
tree | 27e9355a2af58293134aac619c4a6d4c9cff39e0 /kernel | |
parent | 9820ed6531f8bd3e30f44f59ae9c82bdc896f57c (diff) | |
parent | d1985f6a223d18e0ae8545a620e4117fd4ca23b3 (diff) | |
download | yosys-b5cf8c9442774bba49d308d75d72036d6b05ec38.tar.gz yosys-b5cf8c9442774bba49d308d75d72036d6b05ec38.tar.bz2 yosys-b5cf8c9442774bba49d308d75d72036d6b05ec38.zip |
Merge pull request #875 from YosysHQ/clifford/mutate
Add "mutate" pass
Diffstat (limited to 'kernel')
-rw-r--r-- | kernel/hashlib.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/kernel/hashlib.h b/kernel/hashlib.h index df534ec1b..e7cb312ed 100644 --- a/kernel/hashlib.h +++ b/kernel/hashlib.h @@ -557,9 +557,11 @@ public: void clear() { hashtable.clear(); entries.clear(); } iterator begin() { return iterator(this, int(entries.size())-1); } + iterator element(int n) { return iterator(this, int(entries.size())-1-n); } iterator end() { return iterator(nullptr, -1); } const_iterator begin() const { return const_iterator(this, int(entries.size())-1); } + const_iterator element(int n) const { return const_iterator(this, int(entries.size())-1-n); } const_iterator end() const { return const_iterator(nullptr, -1); } }; @@ -881,9 +883,11 @@ public: void clear() { hashtable.clear(); entries.clear(); } iterator begin() { return iterator(this, int(entries.size())-1); } + iterator element(int n) { return iterator(this, int(entries.size())-1-n); } iterator end() { return iterator(nullptr, -1); } const_iterator begin() const { return const_iterator(this, int(entries.size())-1); } + const_iterator element(int n) const { return const_iterator(this, int(entries.size())-1-n); } const_iterator end() const { return const_iterator(nullptr, -1); } }; @@ -952,6 +956,7 @@ public: void clear() { database.clear(); } const_iterator begin() const { return database.begin(); } + const_iterator element(int n) const { return database.element(n); } const_iterator end() const { return database.end(); } }; @@ -1051,6 +1056,7 @@ public: void clear() { database.clear(); parents.clear(); } const_iterator begin() const { return database.begin(); } + const_iterator element(int n) const { return database.element(n); } const_iterator end() const { return database.end(); } }; |