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