diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-06-10 08:13:56 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-06-10 08:13:56 +0200 |
| commit | e5348817947be85cb69f42c7e0ec0706d0511f0f (patch) | |
| tree | 0a3aff9dd4f85d9d62e681c1e17aed93370b1b3b /kernel/cellaigs.cc | |
| parent | 56d48227195139f9b85c9f868a192c116266dac4 (diff) | |
Added "json -aig"
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; |