+std::unordered_set< std::shared_ptr<view::Signal> > View::signals() const
+{
+ return signals_;
+}
+
+void View::clear_signals()
+{
+ signals_.clear();
+}
+
+void View::add_signal(const shared_ptr<view::Signal> signal)
+{
+ signals_.insert(signal);
+}
+