summaryrefslogtreecommitdiff
path: root/kernel
diff options
context:
space:
mode:
Diffstat (limited to 'kernel')
-rw-r--r--kernel/cellaigs.cc10
-rw-r--r--kernel/cellaigs.h3
2 files changed, 13 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;
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