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

package org.bigraphs.framework.simulation.modelchecking.reactions

Related Packages

Package	Description
org.bigraphs.framework.simulation.modelchecking
org.bigraphs.framework.simulation.modelchecking.predicates

Classes

Class	Description
AbstractAgentMatchSupplier<B extends Bigraph<? extends Signature<?>>>	Abstract base class for all agent match suppliers.
AbstractReactionRuleSupplier<B extends Bigraph<? extends Signature<?>>>	Abstract base class for all reaction rule suppliers.
InOrderReactionRuleSupplier<B extends Bigraph<? extends Signature<?>>>	Specific implementation of the AbstractReactionRuleSupplier.
RandomAgentMatchSupplier<B extends Bigraph<? extends Signature<?>>>	Specific implementation of AbstractAgentMatchSupplier.