moduleexamples0.0.1
Source Code
examples.routemap
objectRouteMap.travelTimes
extends Basic
satisfies Weights<Period,City,Route>
OverviewPackageAttributesMethodsSingleton object declaration

An accessor for the travel time of a route.

no subtypes hierarchy

Attributes
zeroSource Codeshared actual Period zero
Refines Monoid.zero (zero)
Inherited Attributes
Attributes inherited from: Object
Object.hash, Object.string
Attributes inherited from: Monoid<T,M>
zero
Methods
weightSource Codeshared actual Period weight(Route route)
Refines Weights.weight (weight)
Inherited Methods
Methods inherited from: Object
Object.equals()
Methods inherited from: Monoid<T,M>
plus
Methods inherited from: Weights<Weight,Vertex,E>
weight