diff options
Diffstat (limited to 'kernel/cellaigs.cc')
| -rw-r--r-- | kernel/cellaigs.cc | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/kernel/cellaigs.cc b/kernel/cellaigs.cc index 483aa7d5..1d9612e8 100644 --- a/kernel/cellaigs.cc +++ b/kernel/cellaigs.cc @@ -41,6 +41,16 @@ unsigned int AigNode::hash() const return h; } +bool Aig::operator==(const Aig &other) const +{ + return name == other.name; +} + +unsigned int Aig::hash() const +{ + return hash_ops<std::string>::hash(name); +} + struct AigMaker { Aig *aig; |