java.lang.Object
org.bigraphs.framework.simulation.modelchecking.reactions.AbstractAgentMatchSupplier<B>
- All Implemented Interfaces:
Supplier<B>
- Direct Known Subclasses:
RandomAgentMatchSupplier
public abstract class AbstractAgentMatchSupplier<B extends Bigraph<? extends Signature<?>>>
extends Object
implements Supplier<B>
Abstract base class for all agent match 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 Details
-
size
protected final int size -
agents
-
-
Constructor Details
-
AbstractAgentMatchSupplier
-