public static class SmallTests.NastySyncProductExample 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 |
---|
NastySyncProductExample() |
addToFinalMarking, addToInitialMarking, addToInput, addToOutput, getCost, getEventOf, getFinalMarking, getInitialMarking, getInput, getLabel, getOutput, getPlaceLabel, getRankOf, getTransitionLabel, getTransitionPathLength, getTypeOf, isFinalMarking, numEventClasses, numEvents, numModelMoves, numPlaces, numTransitions, setEventOf, setFinalMarking, setFinalMarking, setInitialMarking, setInitialMarking, setInput, setOutput, setPlaceLabel, setRankOf, setTransitionLabel