Builds a succession evaluator with a given token remover and adder.
|Modifier and Type||Method||Description|
public TimedSuccessionEvaluator(MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, boolean excludeZeroProb)
checkNewlyEnabled is true, states with the same marking are
considered different if they have a different set of newly-enabled
excludeZeroProb is true, transition firings with zero
probability are excluded.
tokensRemover- the object used to add tokens after a firing
tokensAdder- the object used to remove tokens after a firing
checkNewlyEnabled- whether to compare the sets of newly-enabled transitions of states
excludeZeroProb- whether to exclude transition firings with zero probability
Copyright © 2018 STLAB. All rights reserved.