+ void add_signal(Signal &);
+ const std::set<Signal *> &get_signals() const { return signals; }
+ Signal *pick_signal(const Vector &, const Vector &);
+ void remove_signal(Signal &);
+
+ Object *pick_object(const Vector &, const Vector &);
+
+private:
+ template<typename T>
+ static T *pick(const std::set<T *> &, const Vector &, const Vector &);
+
+public: