Uses of Package
org.bigraphs.framework.simulation.modelchecking.reactions
Packages that use org.bigraphs.framework.simulation.modelchecking.reactions
-
Classes in org.bigraphs.framework.simulation.modelchecking.reactions used by org.bigraphs.framework.simulation.modelchecking.reactionsClassDescriptionAbstract base class for all agent match suppliers.Abstract base class for all reaction rule suppliers.Specific implementation of the
AbstractReactionRuleSupplier
.Specific implementation ofAbstractAgentMatchSupplier
.