|
@@ -51,8 +51,7 @@ namespace artis {
|
|
|
virtual void transition(const common::Bag<Time>& /* x */,
|
|
|
typename Time::type /* t */) { }
|
|
|
|
|
|
- virtual typename Time::type
|
|
|
- start(typename Time::type/* time */) { return Time::infinity; }
|
|
|
+ void start(typename Time::type/* time */) { }
|
|
|
|
|
|
virtual common::Bag<Time> lambda(
|
|
|
typename Time::type /* time */) const { return common::Bag<Time>(); }
|