From 4af04be0b7bb493a86a35a60f3b18d88df6b8ea9 Mon Sep 17 00:00:00 2001 From: "N. Engelhardt" Date: Thu, 3 Sep 2020 17:37:58 +0200 Subject: [PATCH] add IdString::isPublic() --- kernel/rtlil.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/kernel/rtlil.h b/kernel/rtlil.h index 6c561cb85..a03e8933c 100644 --- a/kernel/rtlil.h +++ b/kernel/rtlil.h @@ -375,6 +375,8 @@ namespace RTLIL bool in(const char *rhs) const { return *this == rhs; } bool in(const std::string &rhs) const { return *this == rhs; } bool in(const pool &rhs) const { return rhs.count(*this) != 0; } + + bool isPublic() { return begins_with("\\"); } }; namespace ID {