Package org.palladiosimulator.simexp.markovian.builder

Class StateSpaceNavigatorBuilder.DeductiveStateSpaceNavigatorBuilder<A,R>

java.lang.Object

org.palladiosimulator.simexp.markovian.builder.StateSpaceNavigatorBuilder.DeductiveStateSpaceNavigatorBuilder<A,R>

Enclosing class:

StateSpaceNavigatorBuilder

public static class StateSpaceNavigatorBuilder.DeductiveStateSpaceNavigatorBuilder<A,R>
extends Object

Constructor Summary

Constructors

Constructor	Description
DeductiveStateSpaceNavigatorBuilder(MarkovModel<A,R> markovModel)

Method Summary

Modifier and Type	Method	Description
StateSpaceNavigator<A>	build()
StateSpaceNavigatorBuilder.DeductiveStateSpaceNavigatorBuilder<A,R>	withTransitionPolicy(BasePolicy<Transition<A>> policy)

Methods inherited from class java.lang.Object

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

Constructor Details

DeductiveStateSpaceNavigatorBuilder

public DeductiveStateSpaceNavigatorBuilder(MarkovModel<A,R> markovModel)

Method Details

withTransitionPolicy

public StateSpaceNavigatorBuilder.DeductiveStateSpaceNavigatorBuilder<A,R> withTransitionPolicy(BasePolicy<Transition<A>> policy)

build

public StateSpaceNavigator<A> build()