Class StateSpaceNavigator.NavigationContext<A>

java.lang.Object
org.palladiosimulator.simexp.markovian.statespace.StateSpaceNavigator.NavigationContext<A>
Enclosing class:
StateSpaceNavigator<A>

public static class StateSpaceNavigator.NavigationContext<A> extends Object