summaryrefslogtreecommitdiff
path: root/kernel/rtlil.h
diff options
context:
space:
mode:
authorAhmed Irfan <irfan@ubuntu.(none)>2014-01-17 19:07:41 +0100
committerAhmed Irfan <irfan@ubuntu.(none)>2014-01-17 19:07:41 +0100
commitfc3f2961be756c04ebf32f5540b4280e7bf90c86 (patch)
tree057508da12226a783b948c37da2aab8dd93d9348 /kernel/rtlil.h
parentbe7707c5cf31707c2dfb3b73c5380eb3c309afe1 (diff)
parentf2ee57f79875e8c63d5da9aedd7c33fc847e6977 (diff)
Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor
Diffstat (limited to 'kernel/rtlil.h')
-rw-r--r--kernel/rtlil.h3
1 files changed, 3 insertions, 0 deletions
diff --git a/kernel/rtlil.h b/kernel/rtlil.h
index aadd4a95..f7bac147 100644
--- a/kernel/rtlil.h
+++ b/kernel/rtlil.h
@@ -227,6 +227,9 @@ struct RTLIL::Selection {
if (!full_selection && selected_modules.count(module->name) == 0)
selected_members[module->name].insert(member->name);
}
+ bool empty() const {
+ return !full_selection && selected_modules.empty() && selected_members.empty();
+ }
};
struct RTLIL::Design {