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.analysis
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.equivalence.adapter	This package contains adapters for external Java libraries related to analysis, transition systems, etc.
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	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 for all bigraph entities in this framework.
interface	BigraphBuilder<S extends Signature<?>>	Generic interface for building bigraphs.
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<?,?>>>	Abstract support class for concrete bigraph builder implementations.
interface	BigraphComposite<S extends Signature<? extends Control<?,?>>>	Generic interface for composing bigraphs.
class	BigraphDelegator<S extends Signature<?>>	Delegator base class for bigraphs.
interface	HasSignature<S extends Signature<?>>	Interface for entities associated with a bigraph 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 signatures defined via Ecore.

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.analysis

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

Modifier and Type	Class	Description
class	BigraphDecomposer<B extends Bigraph<? extends Signature<?>>>	This class provides access to decomposition approaches to bigraphs.
interface	BigraphDecompositionStrategy<B extends Bigraph<? extends Signature<?>>>	Strategy interface for concrete bigraph decomposition implementations.

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

Modifier and Type	Method	Description
static <B extends Bigraph<? extends Signature<?>>, T extends BigraphDecomposer<B>> T	BigraphDecomposer.create(BigraphDecompositionStrategy.DecompositionStrategy strategy)

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

Modifier and Type	Method	Description
Class<? extends Bigraph<? extends Signature<?>>>	BigraphDecompositionStrategy.DecompositionStrategy.getBigraphClassType()
Class<? extends BigraphDecomposer<? extends Bigraph<? extends Signature<?>>>>	BigraphDecompositionStrategy.DecompositionStrategy.getDecomposerClassType()
Class<? extends BigraphDecompositionStrategy<? extends Bigraph<? extends Signature<?>>>>	BigraphDecompositionStrategy.DecompositionStrategy.getImplClassType()

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<DynamicSignature>	PureBigraphFactory.createBigraphBuilder(Signature<?> signature)
PureBigraphBuilder<DynamicSignature>	PureBigraphFactory.createBigraphBuilder(Signature<?> signature, String metaModelFileName)
PureBigraphBuilder<DynamicSignature>	PureBigraphFactory.createBigraphBuilder(Signature<?> signature, EMetaModelData metaModelData)
PureBigraphBuilder<DynamicSignature>	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	DynamicSignature	Concrete implementation of a pure dynamic signature in which controls can be assigned a status value: active, passive, or atomic.
class	KindSignature	Concrete implementation of a pure dynamic signature, where controls can be assigned a status (active or passive), and each control may additionally define a place sort.

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.
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.
interface	BMatchResult<B extends Bigraph<? extends Signature<?>>>	Generic interface for bigraph rewriting matching results.
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<?>>>	This data structure represents a "reaction graph", analogous to a labeled transition system.
class	ReactionGraphCollapsed<B extends Bigraph<? extends Signature<?>>>	This class represents a "collapsed", "reduced" reaction graph, possibly consolidated by a minimization algorithm (e.g., bisim minimization).
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()

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

Modifier and Type	Method	Description
List<BMatchResult<? extends Bigraph<? extends Signature<?>>>>	AbstractTransitionSystem.Transition.getMatchResults()

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

Modifier	Constructor	Description
	Transition(B source, B target, String label, List<BMatchResult<? extends Bigraph<? extends Signature<?>>>> matchResults)

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)	Factory method to create the respective hashing function class for the given bigraph class 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	Class	Description
class	BisimulationCheckerSupport<B extends Bigraph<? extends Signature<?>>,AST extends ReactionGraph<B>>	This implementation provides a basic extensible (template) method for computing bisimilarity of LTSs.
class	BisimulationMixinImpl<B extends Bigraph<? extends Signature<?>>,AST extends ReactionGraph<B>>	Bisimulation checks whether two labeled transition systems exhibit the same behavior: every sequence of visible actions in one system can be matched by the other.

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

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

Modifier and Type	Class	Description
class	BighuggiesBisimulationProcessAdapter<B extends Bigraph<? extends Signature<?>>,AST extends ReactionGraph<B>>	The "bighuggies:bisimulation" library computes bisimilarity for two LTSs.

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<?>>>	Abstract class for matching bigraphs against reaction rules.
class	AbstractBigraphMatchIterator<B extends Bigraph<? extends Signature<?>>>
static class	AbstractBigraphMatchIterator.FirstMatchOnly<B extends Bigraph<? extends Signature<?>>>	A Simple Constrained Matcher Implementation
interface	BigraphMatchingEngine<B extends Bigraph<? extends Signature<?>>>	An interface representing a matching engine for 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)
static <B extends Bigraph<? extends Signature<?>>> AbstractBigraphMatchIterator<B>	AbstractBigraphMatchIterator.create(BigraphMatchingEngine<B> engine)
static <B extends Bigraph<? extends Signature<?>>> AbstractBigraphMatchIterator.FirstMatchOnly<B>	AbstractBigraphMatchIterator.FirstMatchOnly.create(BigraphMatchingEngine<B> engine)
static <B extends Bigraph<? extends Signature<?>>> MatchIterable<BigraphMatch<B>>	MatchIterable.emptyMatches()
static <B extends Bigraph<? extends Signature<?>>> MatchIterable<BigraphMatch<B>>	MatchIterable.singletonMatches(BigraphMatch<B> match)

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	BFSFirstMatchStrategy<B extends Bigraph<? extends Signature<?>>>	A breadth-first exploration strategy that selects only the first available match in "natural matcher order" for each reaction rule when checking a state.
interface	BigraphFilter<B extends Bigraph<? extends Signature<?>>>	Filter interface used by ModelCheckingStrategySupport to post-process the next agent drawn from the worklist.
class	BigraphModelChecker<B extends Bigraph<? extends Signature<?>>>	A model checker for Bigraphical Reactive Systems (BRS) that simulates state-space evolution by repeatedly applying reaction rules.
static interface	BigraphModelChecker.ReactiveSystemListener<B extends Bigraph<? extends Signature<?>>>
class	BreadthFirstStrategy<B extends Bigraph<? extends Signature<?>>>	The algorithm implemented here to synthesize the "reaction graph" is adopted from [1].
class	DepthFirstStrategy<B extends Bigraph<? extends Signature<?>>>	This algorithm implements a depth-first model checking algorithm.
class	DFSFirstMatchStrategy<B extends Bigraph<? extends Signature<?>>>	A depth-first exploration strategy that selects only the first available match in "natural matcher order" for each reaction rule when checking a state.
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.
static class	ModelCheckingStrategySupport.MatchResult<B extends Bigraph<? extends Signature<?>>>
class	RandomAgentModelCheckingStrategy<B extends Bigraph<? extends Signature<?>>>	Random state-space traversal.
interface	ReactionRuleFilter<B extends Bigraph<? extends Signature<?>>>
class	SimulatedAnnealingFrontierStrategy<B extends Bigraph<? extends Signature<?>>>	This class is an abstraction of a model checking strategy based on the Simulated Annealing algorithm.

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

Modifier and Type	Method	Description
static <B extends Bigraph<? extends Signature<?>>> ReactionRuleFilter<B>	ReactionRuleFilter.alwaysAccept()
static <B extends Bigraph<? extends Signature<?>>> Class<? extends ModelCheckingStrategy>	BigraphModelChecker.SimulationStrategy.getSimulationStrategyClass(BigraphModelChecker.SimulationStrategy.Type type)
static <B extends Bigraph<? extends Signature<?>>> BigraphFilter<B>	BigraphFilter.noop()	Default no-op filter (accepts everything).

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 stream-based 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.