Uses of Interface
org.bigraphs.framework.core.Signature

Packages that use Signature

Package	Description
org.bigraph.model
org.bigraphs.framework.converter
org.bigraphs.framework.converter.bigmc
org.bigraphs.framework.converter.bigrapher
org.bigraphs.framework.core
org.bigraphs.framework.core.alg.generators
org.bigraphs.framework.core.factory
org.bigraphs.framework.core.impl.signature
org.bigraphs.framework.core.reactivesystem
org.bigraphs.framework.core.reactivesystem.analysis
org.bigraphs.framework.simulation.encoding.hash
org.bigraphs.framework.simulation.equivalence
org.bigraphs.framework.simulation.matching
org.bigraphs.framework.simulation.modelchecking
org.bigraphs.framework.simulation.modelchecking.predicates
org.bigraphs.framework.simulation.modelchecking.reactions
org.bigraphs.framework.visualization

Uses of Signature in org.bigraph.model

Constructors in org.bigraph.model with parameters of type Signature

Modifier	Constructor	Description
	SignatureAdapter(Signature<? extends Control<StringTypedName,FiniteOrdinal<Integer>>> adaptee)

Uses of Signature in org.bigraphs.framework.converter

Classes in org.bigraphs.framework.converter with type parameters of type Signature

Modifier and Type	Interface	Description
interface	BigraphPrettyPrinter<B extends Bigraph<? extends Signature<?>>>	A pretty printer interface for just bigraphs.
interface	PrettyPrinter<B extends Bigraph<? extends Signature<?>>>
interface	ReactiveSystemPrettyPrinter<B extends Bigraph<? extends Signature<?>>,R extends ReactiveSystem>	A generic pretty printer interface for bigraphical reactive systems.

Uses of Signature in org.bigraphs.framework.converter.bigmc

Methods in org.bigraphs.framework.converter.bigmc with parameters of type Signature

Modifier and Type	Method	Description
static String	BigMcTransformator.toString(Signature sig)

Uses of Signature in org.bigraphs.framework.converter.bigrapher

Methods in org.bigraphs.framework.converter.bigrapher with parameters of type Signature

Modifier and Type	Method	Description
static String	BigrapherTransformator.toString(Signature sig)

Uses of Signature in org.bigraphs.framework.core

Classes in org.bigraphs.framework.core with type parameters of type Signature

Modifier and Type	Interface	Description
interface	Bigraph<S extends Signature<?>>	Generic bigraph interface of all bigraph entities in this framework.
interface	BigraphBuilder<S extends Signature<?>>	Common bigraph builder interface.
static interface	BigraphBuilder.NodeHierarchy<S extends Signature<? extends Control<?,?>>>	A BigraphBuilder.NodeHierarchy contains a collection of nodes in a tree structure and is related to the current BigraphBuilder instance.
class	BigraphBuilderSupport<S extends Signature<? extends Control<?,?>>>	Supporting base class for concrete bigraph builder implementations.
interface	BigraphComposite<S extends Signature<? extends Control<?,?>>>	Common interface for the composition of bigraphs.
class	BigraphDelegator<S extends Signature<?>>	Delegator class for bigraphs (currently only suitable for pure bigraphs, e.g., no getParents() method available)
interface	HasSignature<S extends Signature<?>>

Classes in org.bigraphs.framework.core that implement Signature

Modifier and Type	Class	Description
class	AbstractEcoreSignature<C extends Control<? extends NamedType,? extends FiniteOrdinal>>	Abstract class for Ecore-based signatures.

Methods in org.bigraphs.framework.core that return Signature

Modifier and Type	Method	Description
Signature<?>	SignatureBuilder.create()	Create the signature with the assigned controls so far.
Signature<?>	SignatureBuilder.create(EMetaModelData metaModelData)
Signature<? extends Control<NT,FO>>	SignatureBuilder.createEmpty()	Creates an empty signature, meaning that the control set is empty. Needed for the interaction of elementary bigraphs and user-defined bigraphs.
protected abstract Signature<? extends Control<NT,FO>>	SignatureBuilder.createEmptyStub()	This method is not called by the user; it is called by SignatureBuilder.createEmpty().
abstract Signature<?>	SignatureBuilder.createWith(Iterable<? extends Control<NT,FO>> controls)	Create a signature with the given controls.
Signature<? extends Control<?,?>>	BigraphBuilderSupport.InstanceParameter.getSignature()

Uses of Signature in org.bigraphs.framework.core.alg.generators

Methods in org.bigraphs.framework.core.alg.generators with parameters of type Signature

Modifier and Type	Method	Description
protected Supplier<Control>	RandomBigraphGeneratorSupport.provideControlSupplier(Signature<? extends Control> signature)

Uses of Signature in org.bigraphs.framework.core.factory

Methods in org.bigraphs.framework.core.factory with type parameters of type Signature

Modifier and Type	Method	Description
static <S extends Signature<? extends Control<?, ?>>> BigraphComposite<S>	BigraphFactory.ops(Bigraph<S> bigraph)

Methods in org.bigraphs.framework.core.factory that return types with arguments of type Signature

Modifier and Type	Method	Description
default Optional<Signature>	BigraphFactory.Registry.getKeyForVal(org.eclipse.emf.ecore.EPackage val)

Methods in org.bigraphs.framework.core.factory with parameters of type Signature

Modifier and Type	Method	Description
abstract BigraphBuilder<S>	AbstractBigraphFactory.createBigraphBuilder(Signature<?> signature)	Throws a class cast exception when a signature is passed as argument which was not created with the SignatureBuilder created by the same instance of this factory.
abstract BigraphBuilder<S>	AbstractBigraphFactory.createBigraphBuilder(Signature<?> signature, String metaModelFileName)
abstract BigraphBuilder<S>	AbstractBigraphFactory.createBigraphBuilder(Signature<?> signature, EMetaModelData metaModelData)	Throws a class cast exception when a signature is passed as argument which was not created with the SignatureBuilder created by the same instance of this factory.
abstract BigraphBuilder<S>	AbstractBigraphFactory.createBigraphBuilder(Signature<?> signature, org.eclipse.emf.ecore.EPackage bigraphMetaModel)
KindBigraphBuilder	KindBigraphFactory.createBigraphBuilder(Signature<?> signature)
KindBigraphBuilder	KindBigraphFactory.createBigraphBuilder(Signature<?> signature, String metaModelFileName)
KindBigraphBuilder	KindBigraphFactory.createBigraphBuilder(Signature<?> signature, EMetaModelData metaModelData)
KindBigraphBuilder	KindBigraphFactory.createBigraphBuilder(Signature<?> signature, org.eclipse.emf.ecore.EPackage bigraphMetaModel)
PureBigraphBuilder<DefaultDynamicSignature>	PureBigraphFactory.createBigraphBuilder(Signature<?> signature)
PureBigraphBuilder<DefaultDynamicSignature>	PureBigraphFactory.createBigraphBuilder(Signature<?> signature, String metaModelFileName)
PureBigraphBuilder<DefaultDynamicSignature>	PureBigraphFactory.createBigraphBuilder(Signature<?> signature, EMetaModelData metaModelData)
PureBigraphBuilder<DefaultDynamicSignature>	PureBigraphFactory.createBigraphBuilder(Signature<?> signature, org.eclipse.emf.ecore.EPackage bigraphMetaModel)
org.eclipse.emf.ecore.EPackage	BigraphFactory.Registry.getEPackage(Signature signature)	Looks up the value in the map
org.eclipse.emf.ecore.EPackage	DefaultBigraphModelsRegistryImpl.getEPackage(Signature signature)
org.eclipse.emf.ecore.EPackage	DefaultSignatureModelsRegistryImpl.getEPackage(Signature signature)

Uses of Signature in org.bigraphs.framework.core.impl.signature

Classes in org.bigraphs.framework.core.impl.signature that implement Signature

Modifier and Type	Class	Description
class	BindingSignature	Note: This class is not yet implemented!
final class	DefaultDynamicSignature	Concrete implementation of a pure (dynamic) signature, where controls can be assigned a status = (active, passive, atomic).
class	KindSignature	Concrete implementation of a pure (dynamic) signature, where controls can be assigned a status = (active, passive), and further place-sorts can be defined for each control.

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

Classes in org.bigraphs.framework.core.reactivesystem with type parameters of type Signature

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	AbstractSimpleReactiveSystem<B extends Bigraph<? extends Signature<?>>>	Abstract class of a "nice and simple" bigraphical reactive system (BRS).
static class	AbstractSimpleReactiveSystem.TransitionSystemBoundSimpleReactiveSystem<B extends Bigraph<? extends Signature<?>>>	A bigraphical reactive system (BRS) bounded to a reaction graph.
class	AbstractTransitionSystem<B extends Bigraph<? extends Signature<?>>>	Abstract base class representing the minimal data structure for all concrete transition system implementations.
interface	BigraphMatch<B extends Bigraph<? extends Signature<?>>>	This interface represents a result of a bigraph matching and is used by the BigraphMatchingEngine in the simulation module.
class	ConditionalParametricRuleDecorator<B extends Bigraph<? extends Signature<?>>>
static interface	ConditionalParametricRuleDecorator.RuleConditionMatcher<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	ReactionGraph<B extends Bigraph<? extends Signature<?>>>	An "extended" data structure to build up a "reaction graph", analogous to a labeled transition system.
class	ReactionGraphStats<B extends Bigraph<? extends Signature<?>>>
interface	ReactionRule<B extends Bigraph<? extends Signature<?>>>	Common interface for reaction rules.
interface	ReactiveSystem<B extends Bigraph<? extends Signature<?>>>	Base interface for bigraphical reactive systems.
class	ReactiveSystemPredicate<B extends Bigraph<? extends Signature<?>>>	Predicate interface for the reaction graph.
class	TransitionTriple<B extends Bigraph<? extends Signature<?>>>	A transition of a labelled transition system is a triple containing the source and target and the label (i.e., the arrow itself which is a bigraph as well).

Fields in org.bigraphs.framework.core.reactivesystem declared as Signature

Modifier and Type	Field	Description
protected final Signature<?>	AbstractReactionRule.signature

Methods in org.bigraphs.framework.core.reactivesystem with type parameters of type Signature

Modifier and Type	Method	Description
<BPrime extends Bigraph<? extends Signature<?>>> BPrime	BigraphMatch.getContextIdentity()	Identity link graph for the composition of the context and the redex image (see BigraphMatch.getRedexImage().
<BPrime extends Bigraph<? extends Signature<?>>> BPrime	BigraphMatch.getRedexIdentity()	Get the identity link graph of the redex to build the redex image.

Methods in org.bigraphs.framework.core.reactivesystem that return Signature

Modifier and Type	Method	Description
Signature<?>	AbstractReactionRule.getSignature()
Signature	ReactiveSystem.getSignature()

Uses of Signature in org.bigraphs.framework.core.reactivesystem.analysis

Classes in org.bigraphs.framework.core.reactivesystem.analysis with type parameters of type Signature

Modifier and Type	Class	Description
class	ReactionGraphAnalysis<B extends Bigraph<? extends Signature<?>>>	This class provides various analysis methods/operations based on labelled transition system, specifically, for the ReactionGraph class.
static class	ReactionGraphAnalysis.StateTrace<B extends Bigraph<? extends Signature<?>>>	Object containing one path from a state v of a reaction graph to one leave of the subtree rooted at state v

Methods in org.bigraphs.framework.core.reactivesystem.analysis with type parameters of type Signature

Modifier and Type	Method	Description
static <B extends Bigraph<? extends Signature<?>>> ReactionGraphAnalysis<B>	ReactionGraphAnalysis.createInstance()	Create an instance of ReactionGraphAnalysis.

Uses of Signature in org.bigraphs.framework.simulation.encoding.hash

Classes in org.bigraphs.framework.simulation.encoding.hash with type parameters of type Signature

Modifier and Type	Interface	Description
interface	BigraphHashFunction<B extends Bigraph<? extends Signature<?>>>	Base interface to implement hash functions for bigraphs.

Methods in org.bigraphs.framework.simulation.encoding.hash with type parameters of type Signature

Modifier and Type	Method	Description
static <B extends Bigraph<? extends Signature<?>>> BigraphHashFunction<B>	BigraphHashFunction.get(Class<B> bClass)

Uses of Signature in org.bigraphs.framework.simulation.equivalence

Classes in org.bigraphs.framework.simulation.equivalence with type parameters of type Signature

Modifier and Type	Interface	Description
interface	BehavioralEquivalenceMixin<R extends AbstractTransitionSystem<? extends Bigraph<? extends Signature<?>>>>	Mixin interface for behavioral equivalences on transition systems of type AbstractTransitionSystem in BTS.
class	ReactionGraphExtended<B extends Bigraph<? extends Signature<?>>>	This is a "wrapper" class that extends the basic reaction graph structure ReactionGraph, and contains an instance of the behavioral equivalence mixin implementation of BehavioralEquivalenceMixin.
class	StrongBisimulationMixinImpl<R extends AbstractTransitionSystem<Bigraph<? extends Signature<?>>>>	This class provides the implementation of the interface BehavioralEquivalenceMixin for the bisimulation equivalence relation.
class	WeakBisimulationMixinImpl<R extends AbstractTransitionSystem<Bigraph<? extends Signature<?>>>>	This class provides the implementation of the interface BehavioralEquivalenceMixin for the bisimulation equivalence relation.

Uses of Signature in org.bigraphs.framework.simulation.matching

Classes in org.bigraphs.framework.simulation.matching with type parameters of type Signature

Modifier and Type	Class	Description
class	AbstractBigraphMatcher<B extends Bigraph<? extends Signature<?>>>	This class is responsible for executing bigraph matching.
interface	BigraphMatchingEngine<B extends Bigraph<? extends Signature<?>>>	Interface for implementing a matching algorithm for a concrete bigraph kind (e.g., pure bigraphs).

Methods in org.bigraphs.framework.simulation.matching with type parameters of type Signature

Modifier and Type	Method	Description
static <B extends Bigraph<? extends Signature<?>>> AbstractBigraphMatcher<B>	AbstractBigraphMatcher.create(Class<B> bigraphClass)

Uses of Signature in org.bigraphs.framework.simulation.modelchecking

Classes in org.bigraphs.framework.simulation.modelchecking with type parameters of type Signature

Modifier and Type	Class	Description
class	BigraphModelChecker<B extends Bigraph<? extends Signature<?>>>	A bigraph model checker that allows to simulate a BRS by reaction rules.
static interface	BigraphModelChecker.ReactiveSystemListener<B extends Bigraph<? extends Signature<?>>>
class	BreadthFirstSimulationStrategy<B extends Bigraph<? extends Signature<?>>>	Deprecated.
class	BreadthFirstStrategy<B extends Bigraph<? extends Signature<?>>>	The algorithm implemented here to synthesize the "reaction graph" is adopted from [1].
interface	ModelCheckingStrategy<B extends Bigraph<? extends Signature<?>>>	Strategy pattern for implementing new model checking algorithms.
class	ModelCheckingStrategySupport<B extends Bigraph<? extends Signature<?>>>	Base class for supporting model checking strategy implementations.
class	RandomAgentModelCheckingStrategy<B extends Bigraph<? extends Signature<?>>>	Random state-space traversal without cycle-checking and predicate evaluation.

Methods in org.bigraphs.framework.simulation.modelchecking with type parameters of type Signature

Modifier and Type	Method	Description
static <B extends Bigraph<? extends Signature<?>>> Class<? extends ModelCheckingStrategy>	BigraphModelChecker.SimulationStrategy.getSimulationStrategyClass(BigraphModelChecker.SimulationStrategy.Type type)

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

Classes in org.bigraphs.framework.simulation.modelchecking.predicates with type parameters of type Signature

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	PredicateChecker<B extends Bigraph<? extends Signature<?>>>	The task of the class is to evaluate a given set of predicates of class ReactiveSystemPredicate.
class	SubBigraphMatchPredicate<B extends Bigraph<? extends Signature<?>>>	Simple predicate implementation that returns true if one bigraph is contained in another (subbigraph matching problem).

Methods in org.bigraphs.framework.simulation.modelchecking.predicates with type parameters of type Signature

Modifier and Type	Method	Description
static <B extends Bigraph<? extends Signature<?>>> BigraphIsoPredicate<B>	BigraphIsoPredicate.create(B bigraphToMatch)
static <B extends Bigraph<? extends Signature<?>>> BigraphIsoPredicate<B>	BigraphIsoPredicate.create(B bigraphToMatch, boolean negate)
static <B extends Bigraph<? extends Signature<?>>> SubBigraphMatchPredicate<B>	SubBigraphMatchPredicate.create(B bigraphToMatch)
static <B extends Bigraph<? extends Signature<?>>> SubBigraphMatchPredicate<B>	SubBigraphMatchPredicate.create(B bigraphToMatch, boolean negate)

Uses of Signature in org.bigraphs.framework.simulation.modelchecking.reactions

Classes in org.bigraphs.framework.simulation.modelchecking.reactions with type parameters of type Signature

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

Methods in org.bigraphs.framework.simulation.modelchecking.reactions with type parameters of type Signature

Modifier and Type	Method	Description
static <B extends Bigraph<? extends Signature<?>>> InOrderReactionRuleSupplier<B>	AbstractReactionRuleSupplier.createInOrder(Collection<ReactionRule<B>> availableRules)
static <B extends Bigraph<? extends Signature<?>>> RandomAgentMatchSupplier<B>	AbstractReactionRuleSupplier.createRandom(Collection<B> availableRules)

Uses of Signature in org.bigraphs.framework.visualization

Classes in org.bigraphs.framework.visualization with type parameters of type Signature

Modifier and Type	Class	Description
class	ReactionGraphExporter<B extends Bigraph<? extends Signature<?>>>	A graphics exporter for reaction graphs.

Methods in org.bigraphs.framework.visualization with type parameters of type Signature

Modifier and Type	Method	Description
<S extends Signature<?>> String	BigraphGraphvizExporter.convert(Bigraph<S> bigraph, File output, guru.nidi.graphviz.engine.Format format, boolean asTreeStructure)	Converts a bigraph into DOT format ready to be visualized.