S
- public interface Oracle<S,L,M>
Modifier and Type | Method and Description |
---|---|
S |
createCopy(S currentState)
creates a fresh copy of the current state, i.e.
|
S |
getInitialState()
returns the initial state in which all process instances are assumed to
begin
|
int |
getScaling()
Like a regular replayer, the oracle uses a scaling parameter to ensure
progress in the alignments.
|
java.util.Collection<? extends MovementSequence<S,L,M>> |
getSyncronousMoveSequences(S currentState,
L label)
Returns a movementsequence needed to synchronously execute an activity
labeled L.
|
boolean |
isFinal(S currentState)
determines if the currentstate is a final state
|
void |
setScaling(int scaling)
Like a regular replayer, the oracle uses a scaling parameter to ensure
progress in the alignments.
|
java.util.Collection<? extends MovementSequence<S,L,M>> getSyncronousMoveSequences(S currentState, L label)
label
in the
future. The movementSequence has information about the total cost of the
moves as well as the state reached. This state does not need to be a
fresh copy as the replayer takes care of copying the state.
If label
is null, then a list of modelmoves is given to
reach the end statecurrentState
- label
- S createCopy(S currentState)
currentState
- boolean isFinal(S currentState)
currentState
- S getInitialState()
int getScaling()
void setScaling(int scaling)