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

public class ActionBasedDeductiveNavigator<A,R> extends DeductiveStateSpaceNavigator<A,R>

Nested Class Summary

Nested classes/interfaces inherited from class org.palladiosimulator.simexp.markovian.statespace.StateSpaceNavigator
StateSpaceNavigator.NavigationContext<A>
Field Summary

Fields inherited from class org.palladiosimulator.simexp.markovian.statespace.DeductiveStateSpaceNavigator
markovModelAccessor

Fields inherited from class org.palladiosimulator.simexp.markovian.statespace.StateSpaceNavigator
LOGGER
Constructor Summary

Constructors

Constructor

Description

ActionBasedDeductiveNavigator(MarkovModel<A,R> markovModel)
Method Summary

Modifier and Type

Method

Description

State

navigate(StateSpaceNavigator.NavigationContext<A> context)

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- ActionBasedDeductiveNavigator
  
  public ActionBasedDeductiveNavigator(MarkovModel<A,R> markovModel)
Method Details
- navigate
  
  public State navigate(StateSpaceNavigator.NavigationContext<A> context)
  
  Specified by:
  
  navigate in class StateSpaceNavigator<A>

Class ActionBasedDeductiveNavigator<A,R>

Nested Class Summary