+ //----------------------------------------------------------------------------
+ EventManager::StampedPropagationPath::StampedPropagationPath():
+ time(0)
+ {
+
+ }
+
+ //----------------------------------------------------------------------------
+
+ EventManager::StampedPropagationPath::StampedPropagationPath(
+ const EventPropagationPath& path,
+ double time
+ ):
+ path(path),
+ time(time)
+ {
+
+ }
+
+ //----------------------------------------------------------------------------
+ void EventManager::StampedPropagationPath::clear()
+ {
+ path.clear();
+ time = 0;
+ }
+
+ //----------------------------------------------------------------------------
+ bool EventManager::StampedPropagationPath::valid() const
+ {
+ return !path.empty() && time > 0;
+ }
+