java.lang.Object
org.bigraphs.framework.simulation.modelchecking.reactions.ReactionRuleSupplier<B>
- All Implemented Interfaces:
Supplier<ReactionRule<B>>
- Direct Known Subclasses:
InOrderReactionRuleSupplier
public abstract class ReactionRuleSupplier<B extends Bigraph<? extends Signature<?>>>
extends Object
implements Supplier<ReactionRule<B>>
- Author:
- Dominik Grzelak
-
Field Summary
FieldsModifier and TypeFieldDescriptionprotected final org.eclipse.collections.api.list.ImmutableList<ReactionRule<B>> -
Constructor Summary
ConstructorsModifierConstructorDescriptionprotectedReactionRuleSupplier(Collection<ReactionRule<B>> availableRules) -
Method Summary
Modifier and TypeMethodDescriptionstatic <B extends Bigraph<? extends Signature<?>>>
InOrderReactionRuleSupplier<B>createInOrder(Collection<ReactionRule<B>> availableRules) static <B extends Bigraph<? extends Signature<?>>>
RandomAgentMatchSupplier<B>createRandom(Collection<B> availableRules)
-
Field Details
-
availableRules
protected final org.eclipse.collections.api.list.ImmutableList<ReactionRule<B extends Bigraph<? extends Signature<?>>>> availableRules
-
-
Constructor Details
-
ReactionRuleSupplier
-
-
Method Details
-
createInOrder
public static <B extends Bigraph<? extends Signature<?>>> InOrderReactionRuleSupplier<B> createInOrder(Collection<ReactionRule<B>> availableRules) -
createRandom
public static <B extends Bigraph<? extends Signature<?>>> RandomAgentMatchSupplier<B> createRandom(Collection<B> availableRules) -
getAvailableRules
-