Modifier and Type | Interface and Description |
---|---|
interface |
HistoryAwareMovementSequence<S extends HistoryAwareState<L,M>,L,M>
Interface to represent a movement sequence which gives information about the
internal list of movements.
|
interface |
HistoryAwareOracle<S extends HistoryAwareState<L,M>,L,M> |
class |
SimpleHistoryAwareMovementSequence<S extends HistoryAwareState<L,M>,L,M> |
Modifier and Type | Class and Description |
---|---|
class |
AbstractHistoryAwareState<L,M> |
Modifier and Type | Field and Description |
---|---|
protected S |
SimpleHistoryAwareMovementSequence.fromState |
protected HistoryAwareState<L,M> |
AbstractHistoryAwareState.predecessor |
protected S |
SimpleHistoryAwareMovementSequence.toState |
Modifier and Type | Method and Description |
---|---|
static <S extends HistoryAwareState<L,M>,L,M> |
SimpleHistoryAwareMovementSequence.emptySequence(S state) |
Modifier and Type | Method and Description |
---|---|
HistoryAwareState<L,M> |
AbstractHistoryAwareState.getPredecessor() |
HistoryAwareState<L,M> |
HistoryAwareState.getPredecessor() |
Modifier and Type | Method and Description |
---|---|
void |
AbstractHistoryAwareState.setPredecessor(HistoryAwareState<L,M> predecessor) |
void |
HistoryAwareState.setPredecessor(HistoryAwareState<L,M> predecessor) |
Modifier and Type | Class and Description |
---|---|
class |
ExampleState |
Modifier and Type | Class and Description |
---|---|
class |
NAryTreeHistoryAwareState |
Modifier and Type | Method and Description |
---|---|
void |
NAryTreeHistoryAwareState.setPredecessor(HistoryAwareState<NAryTreeLabel,NAryTreeNode> predecessor) |
Modifier and Type | Class and Description |
---|---|
class |
OracleBasedReplayerWithHistory<S extends HistoryAwareState<L,M>,L,M> |