Package org.palladiosimulator.simexp.markovian.statespace

Class StateSpaceNavigator<A>

java.lang.Object

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

Direct Known Subclasses:

DeductiveStateSpaceNavigator, InductiveStateSpaceNavigator

public abstract class StateSpaceNavigator<A>
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	StateSpaceNavigator.NavigationContext<A>

Field Summary

Fields

Modifier and Type	Field	Description
protected static final org.apache.log4j.Logger	LOGGER

Constructor Summary

Constructors

Constructor	Description
StateSpaceNavigator()

Method Summary

Modifier and Type	Method	Description
abstract State	navigate(StateSpaceNavigator.NavigationContext<A> context)

Methods inherited from class java.lang.Object

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

Field Details

LOGGER

protected static final org.apache.log4j.Logger LOGGER

Constructor Details

StateSpaceNavigator

public StateSpaceNavigator()

Method Details

navigate

public abstract State navigate(StateSpaceNavigator.NavigationContext<A> context)