|
@@ -57,21 +57,23 @@ namespace artis {
|
|
|
|
|
|
virtual ~Dynamics() { }
|
|
virtual ~Dynamics() { }
|
|
|
|
|
|
- virtual void dconf(typename Time::type /* t */, typename Time::type /* e */,
|
|
|
|
|
|
+ virtual void
|
|
|
|
+ dconf(const typename Time::type& /* t */, const typename Time::type& /* e */,
|
|
const common::Bag<Time>& /* bag */) { }
|
|
const common::Bag<Time>& /* bag */) { }
|
|
|
|
|
|
- virtual void dint(typename Time::type /* t */) { }
|
|
|
|
|
|
+ virtual void dint(const typename Time::type& /* t */) { }
|
|
|
|
|
|
- virtual void dext(typename Time::type /* t */, typename Time::type /* e */,
|
|
|
|
|
|
+ virtual void
|
|
|
|
+ dext(const typename Time::type& /* t */, const typename Time::type& /* e */,
|
|
const common::Bag<Time>& /* bag */) { }
|
|
const common::Bag<Time>& /* bag */) { }
|
|
|
|
|
|
- virtual void start(typename Time::type /* time */) { }
|
|
|
|
|
|
+ virtual void start(const typename Time::type& /* time */) { }
|
|
|
|
|
|
virtual typename Time::type
|
|
virtual typename Time::type
|
|
- ta(typename Time::type /* time */) const { return Time::infinity; }
|
|
|
|
|
|
+ ta(const typename Time::type& /* time */) const { return Time::infinity; }
|
|
|
|
|
|
virtual common::Bag<Time>
|
|
virtual common::Bag<Time>
|
|
- lambda(typename Time::type /* time */) const { return common::Bag<Time>(); }
|
|
|
|
|
|
+ lambda(const typename Time::type& /* time */) const { return common::Bag<Time>(); }
|
|
|
|
|
|
virtual common::Value observe(const typename Time::type& /* t */,
|
|
virtual common::Value observe(const typename Time::type& /* t */,
|
|
unsigned int /* index */) const { return common::Value(); }
|
|
unsigned int /* index */) const { return common::Value(); }
|