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

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

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 Summary

Fields

Modifier and Type	Field	Description
protected org.eclipse.collections.api.list.ImmutableList<B>	agents
protected final int	size

Constructor Summary

Constructors

Constructor	Description
AbstractAgentMatchSupplier(Collection<B> availableAgents)

Method Summary

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

size

protected final int size

agents

protected org.eclipse.collections.api.list.ImmutableList<B extends Bigraph<? extends Signature<?>>> agents

Constructor Details

AbstractAgentMatchSupplier

public AbstractAgentMatchSupplier(Collection<B> availableAgents)