Uses of Interface
org.bigraphs.framework.core.reactivesystem.HasLabel

Packages that use HasLabel

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

Uses of HasLabel in org.bigraphs.framework.core.reactivesystem

Subinterfaces of HasLabel in org.bigraphs.framework.core.reactivesystem

Modifier and Type	Interface	Description
interface	ReactionRule<B extends Bigraph<? extends Signature<?>>>	Common interface for reaction rules.

Classes in org.bigraphs.framework.core.reactivesystem that implement HasLabel

Modifier and Type	Class	Description
class	AbstractReactionRule<B extends Bigraph<? extends Signature<?>>>	This base class represents an immutable data structure for all kinds of reaction rules.
static class	AbstractReactionRule.ReactiveSystemBoundReactionRule<B extends Bigraph<? extends Signature<?>>>
class	ConditionalParametricRuleDecorator<B extends Bigraph<? extends Signature<?>>>
class	GroundReactionRule<B extends Bigraph<? extends Signature<?>>>	Concrete implementation of a ground reaction rule.
class	ParametricReactionRule<B extends Bigraph<? extends Signature<?>>>	Concrete implementation of a parametric reaction rule.
class	ReactiveSystemPredicate<B extends Bigraph<? extends Signature<?>>>	Predicate interface for the reaction graph.

Uses of HasLabel in org.bigraphs.framework.simulation.modelchecking.predicates

Classes in org.bigraphs.framework.simulation.modelchecking.predicates that implement HasLabel

Modifier and Type	Class	Description
class	AndPredicate<B extends Bigraph<? extends Signature<?>>>	A composite predicate which concatenates all given predicates with the and operator.
class	BigraphIsoPredicate<B extends Bigraph<? extends Signature<?>>>	Predicate implementation that returns true if two bigraphs are isomorphic (i.e., structurally equivalent).
class	OrPredicate<B extends Bigraph<? extends Signature<?>>>	A composite predicate which concatenates all given predicates with the or operator.
class	SubBigraphMatchPredicate<B extends Bigraph<? extends Signature<?>>>	Simple predicate implementation that returns true if one bigraph is contained in another (subbigraph matching problem).