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

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

java.lang.Object

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

All Implemented Interfaces:

Supplier<B>

public final class RandomAgentMatchSupplier<B extends Bigraph<? extends Signature<?>>>
extends Object
implements Supplier<B>

Author:

Dominik Grzelak

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()

Specified by:

get in interface Supplier<B extends Bigraph<? extends Signature<?>>>