| 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> |