java.lang.Object
org.bigraphs.framework.simulation.modelchecking.reactions.AbstractReactionRuleSupplier<B>
org.bigraphs.framework.simulation.modelchecking.reactions.InOrderReactionRuleSupplier<B>
- All Implemented Interfaces:
Supplier<ReactionRule<B>>
public final class InOrderReactionRuleSupplier<B extends Bigraph<? extends Signature<?>>>
extends AbstractReactionRuleSupplier<B>
Specific implementation of the
AbstractReactionRuleSupplier
.
A given set of reaction rule is returned in the order as they are provided.
- Author:
- Dominik Grzelak
-
Field Summary
Fields inherited from class org.bigraphs.framework.simulation.modelchecking.reactions.AbstractReactionRuleSupplier
availableRules
-
Method Summary
Methods inherited from class org.bigraphs.framework.simulation.modelchecking.reactions.AbstractReactionRuleSupplier
createInOrder, createRandom, getAvailableRules
-
Method Details
-
get
-