org.processmining.onlineconformance.oracle

Interface HistoryAwareOracle<S extends HistoryAwareState<L,M>,L,M>

All Superinterfaces:

Oracle<S,L,M>

All Known Implementing Classes:

ExampleOracleACBD, ExampleOracleAEorBCD, ExampleOracleAorBCDorE, NAryTreeHistoryAwareOracle

public interface HistoryAwareOracle<S extends HistoryAwareState<L,M>,L,M>
extends Oracle<S,L,M>

Method Summary

Modifier and Type	Method and Description
java.util.Collection<? extends HistoryAwareMovementSequence<S,L,M>>	getSyncronousMoveSequences(S currentState, L label) Returns a list of moves needed to execute an activity labeled L.

Methods inherited from interface org.processmining.onlineconformance.oracle.Oracle

createCopy, getInitialState, getScaling, isFinal, setScaling

Method Detail

getSyncronousMoveSequences

java.util.Collection<? extends HistoryAwareMovementSequence<S,L,M>> getSyncronousMoveSequences(S currentState,
                                                                                               L label)

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 Oracle<S extends HistoryAwareState<L,M>,L,M>

Parameters:

currentState -

label -

Returns: