org.processmining.onlineconformance.oracle.examples

Class ExampleOracleACBD

java.lang.Object

org.processmining.onlineconformance.oracle.examples.ExampleOracleACBD

All Implemented Interfaces:

HistoryAwareOracle<ExampleState,TestExample.LM,TestExample.MM>, Oracle<ExampleState,TestExample.LM,TestExample.MM>

public class ExampleOracleACBD
extends java.lang.Object
implements HistoryAwareOracle<ExampleState,TestExample.LM,TestExample.MM>

Constructor Summary

Constructors

Constructor and Description
ExampleOracleACBD()

Method Summary

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.

Methods inherited from class java.lang.Object

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

Constructor Detail

ExampleOracleACBD

public ExampleOracleACBD()

Method Detail

getSyncronousMoveSequences

public java.util.List<SimpleHistoryAwareMovementSequence<ExampleState,TestExample.LM,TestExample.MM>> getSyncronousMoveSequences(ExampleState currentState,
                                                                                                                                 TestExample.LM label)

Description copied from interface: HistoryAwareOracle

Returns a list of moves needed to execute an activity labeled L. The list of moves is null if and only if there is no possibility to execute an activity L now or in the future according to the Oracle. If the list is not empty, then the last element is a Move of which the type is sync and all other moves are moves of which the type is MOVEMODEL. If label is null, then a list of modelmoves is given to reach the end state

Specified by:

getSyncronousMoveSequences in interface HistoryAwareOracle<ExampleState,TestExample.LM,TestExample.MM>

Specified by:

getSyncronousMoveSequences in interface Oracle<ExampleState,TestExample.LM,TestExample.MM>

Returns:

isFinal

public boolean isFinal(ExampleState currentState)

Description copied from interface: Oracle

determines if the currentstate is a final state

Specified by:

isFinal in interface Oracle<ExampleState,TestExample.LM,TestExample.MM>

Returns:

getInitialState

public ExampleState getInitialState()

Description copied from interface: Oracle

returns the initial state in which all process instances are assumed to begin

Specified by:

getInitialState in interface Oracle<ExampleState,TestExample.LM,TestExample.MM>

Returns:

createCopy

public ExampleState createCopy(ExampleState currentState)

Description copied from interface: Oracle

creates a fresh copy of the current state, i.e. a new object which represents the same state.

Specified by:

createCopy in interface Oracle<ExampleState,TestExample.LM,TestExample.MM>

Returns:

getScaling

public int getScaling()

Description copied from interface: Oracle

Like a regular replayer, the oracle uses a scaling parameter to ensure progress in the alignments. Set this scaling large enough, surely larger than the longest trace in the log + the shortest execution of the model.

Specified by:

getScaling in interface Oracle<ExampleState,TestExample.LM,TestExample.MM>

Returns:

setScaling

public void setScaling(int scaling)

Description copied from interface: Oracle

Like a regular replayer, the oracle uses a scaling parameter to ensure progress in the alignments. Set this scaling large enough, surely larger than the longest trace in the log + the shortest execution of the model.

Specified by:

setScaling in interface Oracle<ExampleState,TestExample.LM,TestExample.MM>