Package org.palladiosimulator.simexp.markovian.builder

Class StateSpaceNavigatorBuilder.InductiveStateSpaceNavigatorBuilder<A>

java.lang.Object

org.palladiosimulator.simexp.markovian.builder.StateSpaceNavigatorBuilder.InductiveStateSpaceNavigatorBuilder<A>

Enclosing class:

StateSpaceNavigatorBuilder

public static class StateSpaceNavigatorBuilder.InductiveStateSpaceNavigatorBuilder<A>
extends Object

Constructor Summary

Constructors

Constructor	Description
InductiveStateSpaceNavigatorBuilder()

Method Summary

Modifier and Type	Method	Description
StateSpaceNavigator<A>	build()
StateSpaceNavigatorBuilder.InductiveStateSpaceNavigatorBuilder<A>	inductiveNavigationThrough(InductiveStateSpaceNavigator<A> inductiveNav)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

InductiveStateSpaceNavigatorBuilder

public InductiveStateSpaceNavigatorBuilder()

Method Details

inductiveNavigationThrough

public StateSpaceNavigatorBuilder.InductiveStateSpaceNavigatorBuilder<A> inductiveNavigationThrough(InductiveStateSpaceNavigator<A> inductiveNav)

build

public StateSpaceNavigator<A> build()