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

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

java.lang.Object

org.bigraphs.framework.simulation.modelchecking.reactions.AbstractAgentMatchSupplier<B>

org.bigraphs.framework.simulation.modelchecking.reactions.RandomAgentMatchSupplier<B>

All Implemented Interfaces:

Supplier<B>

public final class RandomAgentMatchSupplier<B extends Bigraph<? extends Signature<?>>>
extends AbstractAgentMatchSupplier<B>

Specific implementation of AbstractAgentMatchSupplier.

When deciding which paths to go in the model checking procedure, this supplier retrieves any agent-match from the given set of possibly available agent-matches.

Author:

Dominik Grzelak

Field Summary

Fields inherited from class org.bigraphs.framework.simulation.modelchecking.reactions.AbstractAgentMatchSupplier

agents, size

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	RandomAgentMatchSupplier(Collection<B> availableAgents)

Method Summary

Modifier and Type	Method	Description
B	get()

Methods inherited from class java.lang.Object

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

Constructor Details

RandomAgentMatchSupplier

protected RandomAgentMatchSupplier(Collection<B> availableAgents)

Method Details

get

public B get()