public static class SmallTests.SyncProductExampleBook extends SyncProductImpl
cost, eventNumbers, finalMarking, initMarking, input, label, output, places, ranks, transitions
LOG_MOVE, MAXTRANS, MODEL_MOVE, NOEVENT, NORANK, SYNC_MOVE, TAU_MOVE
Constructor and Description |
---|
SyncProductExampleBook() |
Modifier and Type | Method and Description |
---|---|
boolean |
isFinalMarking(byte[] marking)
for full alignments: return Arrays.equals(marking, finalMarking);
for prefix alignments: check only if a specific place is marked.
|
addToFinalMarking, addToInitialMarking, addToInput, addToOutput, getCost, getEventOf, getFinalMarking, getInitialMarking, getInput, getLabel, getOutput, getPlaceLabel, getRankOf, getTransitionLabel, getTransitionPathLength, getTypeOf, numEventClasses, numEvents, numModelMoves, numPlaces, numTransitions, setEventOf, setFinalMarking, setFinalMarking, setInitialMarking, setInitialMarking, setInput, setOutput, setPlaceLabel, setRankOf, setTransitionLabel
public boolean isFinalMarking(byte[] marking)
SyncProductImpl
isFinalMarking
in interface SyncProduct
isFinalMarking
in class SyncProductImpl