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:
void add_block(Block &);
Block &get_block(unsigned) const;
const std::set<Block *> &get_blocks() const { return blocks; }