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

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

java.lang.Object

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

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

All Implemented Interfaces:

Supplier<ReactionRule<B>>

public final class InOrderReactionRuleSupplier<B extends Bigraph<? extends Signature<?>>>
extends ReactionRuleSupplier<B>

Author:

Dominik Grzelak

Field Summary

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

availableRules

Method Summary

Modifier and Type	Method	Description
ReactionRule<B>	get()

Methods inherited from class org.bigraphs.framework.simulation.modelchecking.reactions.ReactionRuleSupplier

createInOrder, createRandom, getAvailableRules

Methods inherited from class java.lang.Object

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

Method Details

get

public ReactionRule<B> get()