Uses of Class
org.bigraphs.framework.simulation.modelchecking.reactions.InOrderReactionRuleSupplier
-
Uses of InOrderReactionRuleSupplier in org.bigraphs.framework.simulation.modelchecking.reactions
Modifier and TypeMethodDescriptionstatic <B extends Bigraph<? extends Signature<?>>>
InOrderReactionRuleSupplier<B>AbstractReactionRuleSupplier.createInOrder
(Collection<ReactionRule<B>> availableRules)