Uses of Interface
org.bigraphs.framework.core.reactivesystem.HasLabel
Package
Description
-
Uses of HasLabel in org.bigraphs.framework.core.reactivesystem
Modifier and TypeClassDescriptionclass
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
Modifier and TypeClassDescriptionclass
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 returnstrue
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).