Package org.palladiosimulator.simexp.markovian.statespace

Class DeductiveStateSpaceNavigator<A,R>

java.lang.Object

org.palladiosimulator.simexp.markovian.statespace.StateSpaceNavigator<A>

org.palladiosimulator.simexp.markovian.statespace.DeductiveStateSpaceNavigator<A,R>

Direct Known Subclasses:

ActionBasedDeductiveNavigator, PolicyBasedDeductiveNavigator

public abstract class DeductiveStateSpaceNavigator<A,R>
extends StateSpaceNavigator<A>

Nested Class Summary

Nested classes/interfaces inherited from class org.palladiosimulator.simexp.markovian.statespace.StateSpaceNavigator

StateSpaceNavigator.NavigationContext<A>

Field Summary

Fields

Modifier and Type	Field	Description
protected final MarkovModelAccessor<A,R>	markovModelAccessor

Fields inherited from class org.palladiosimulator.simexp.markovian.statespace.StateSpaceNavigator

LOGGER

Constructor Summary

Constructors

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

Method Summary

Methods inherited from class org.palladiosimulator.simexp.markovian.statespace.StateSpaceNavigator

navigate

Methods inherited from class java.lang.Object

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

Field Details

markovModelAccessor

protected final MarkovModelAccessor<A,R> markovModelAccessor

Constructor Details

DeductiveStateSpaceNavigator

public DeductiveStateSpaceNavigator(MarkovModel<A,R> markovModel)