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.h | |
| parent | 56d48227195139f9b85c9f868a192c116266dac4 (diff) | |
Added "json -aig"
Diffstat (limited to 'kernel/cellaigs.h')
| -rw-r--r-- | kernel/cellaigs.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/kernel/cellaigs.h b/kernel/cellaigs.h index db635ba9..efe9d83c 100644 --- a/kernel/cellaigs.h +++ b/kernel/cellaigs.h @@ -41,6 +41,9 @@ struct Aig string name; vector<AigNode> nodes; Aig(Cell *cell); + + bool operator==(const Aig &other) const; + unsigned int hash() const; }; YOSYS_NAMESPACE_END |