Package org.bigraphs.framework.simulation.modelchecking.reactions

Class AbstractReactionRuleSupplier<B extends Bigraph<? extends Signature<?>>>

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

Fields

Modifier and Type	Field	Description
protected final org.eclipse.collections.api.list.ImmutableList<ReactionRule<B>>	availableRules

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AbstractReactionRuleSupplier(Collection<ReactionRule<B>> availableRules)

Method Summary

Modifier and Type	Method	Description
static <B extends Bigraph<? extends Signature<?>>> InOrderReactionRuleSupplier<B>	createInOrder(Collection<ReactionRule<B>> availableRules)
static <B extends Bigraph<? extends Signature<?>>> RandomAgentMatchSupplier<B>	createRandom(Collection<B> availableRules)
List<ReactionRule<B>>	getAvailableRules()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.function.Supplier

get

Field Details

availableRules

protected final org.eclipse.collections.api.list.ImmutableList<ReactionRule<B extends Bigraph<? extends Signature<?>>>> availableRules

Constructor Details

AbstractReactionRuleSupplier

protected AbstractReactionRuleSupplier(Collection<ReactionRule<B>> availableRules)

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

public List<ReactionRule<B>> getAvailableRules()