java.lang.Object
org.bigraphs.framework.simulation.modelchecking.reactions.AbstractReactionRuleSupplier<B>
- All Implemented Interfaces:
Supplier<ReactionRule<B>>
- Direct Known Subclasses:
InOrderReactionRuleSupplier
public abstract class AbstractReactionRuleSupplier<B extends Bigraph<? extends Signature<?>>>
extends Object
implements Supplier<ReactionRule<B>>
Abstract base class for all reaction rule suppliers.
A supplier is a argument-less function that returns something.
This class is used in the model checking procedure as a generic interface.
- Author:
- Dominik Grzelak
-
Field Summary
FieldsModifier and TypeFieldDescriptionprotected final org.eclipse.collections.api.list.ImmutableList<ReactionRule<B>>
-
Constructor Summary
ConstructorsModifierConstructorDescriptionprotected
AbstractReactionRuleSupplier
(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
-
AbstractReactionRuleSupplier
-
-
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
-