From ea23bb8aa4a5b66205a536e607fe8a7c983826ec Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Mon, 15 Jun 2015 00:46:27 +0200 Subject: Added "write_smv" skeleton --- kernel/yosys.h | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'kernel') diff --git a/kernel/yosys.h b/kernel/yosys.h index 14277ade8..d4f46a519 100644 --- a/kernel/yosys.h +++ b/kernel/yosys.h @@ -147,8 +147,10 @@ struct shared_str { shared_str() { } shared_str(string s) { content = std::shared_ptr(new string(s)); } shared_str(const char *s) { content = std::shared_ptr(new string(s)); } - const char *c_str() { return content->c_str(); } - const string &str() { return *content; } + const char *c_str() const { return content->c_str(); } + const string &str() const { return *content; } + bool operator==(const shared_str &other) const { return *content == *other.content; } + unsigned int hash() const { return hashlib::hash_ops::hash(*content); } }; using hashlib::mkhash; -- cgit v1.2.3