public class ExampleOracleACBD extends java.lang.Object implements HistoryAwareOracle<ExampleState,TestExample.LM,TestExample.MM>
Constructor and Description |
---|
ExampleOracleACBD() |
Modifier and Type | Method and Description |
---|---|
ExampleState |
createCopy(ExampleState currentState)
creates a fresh copy of the current state, i.e.
|
ExampleState |
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.List<SimpleHistoryAwareMovementSequence<ExampleState,TestExample.LM,TestExample.MM>> |
getSyncronousMoveSequences(ExampleState currentState,
TestExample.LM label)
Returns a list of moves needed to execute an activity labeled L.
|
boolean |
isFinal(ExampleState 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.
|
public java.util.List<SimpleHistoryAwareMovementSequence<ExampleState,TestExample.LM,TestExample.MM>> getSyncronousMoveSequences(ExampleState currentState, TestExample.LM label)
HistoryAwareOracle
getSyncronousMoveSequences
in interface HistoryAwareOracle<ExampleState,TestExample.LM,TestExample.MM>
getSyncronousMoveSequences
in interface Oracle<ExampleState,TestExample.LM,TestExample.MM>
public boolean isFinal(ExampleState currentState)
Oracle
isFinal
in interface Oracle<ExampleState,TestExample.LM,TestExample.MM>
public ExampleState getInitialState()
Oracle
getInitialState
in interface Oracle<ExampleState,TestExample.LM,TestExample.MM>
public ExampleState createCopy(ExampleState currentState)
Oracle
createCopy
in interface Oracle<ExampleState,TestExample.LM,TestExample.MM>
public int getScaling()
Oracle
getScaling
in interface Oracle<ExampleState,TestExample.LM,TestExample.MM>
public void setScaling(int scaling)
Oracle
setScaling
in interface Oracle<ExampleState,TestExample.LM,TestExample.MM>