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

Packages that use Bigraph

Package	Description
org.bigraphs.framework.converter
org.bigraphs.framework.converter.bigred
org.bigraphs.framework.core
org.bigraphs.framework.core.analysis
org.bigraphs.framework.core.factory
org.bigraphs.framework.core.impl.elementary
org.bigraphs.framework.core.impl.pure
org.bigraphs.framework.core.reactivesystem
org.bigraphs.framework.core.reactivesystem.analysis
org.bigraphs.framework.core.utils
org.bigraphs.framework.simulation.encoding
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.matching.pure
org.bigraphs.framework.simulation.modelchecking
org.bigraphs.framework.simulation.modelchecking.predicates
org.bigraphs.framework.simulation.modelchecking.reactions
org.bigraphs.framework.visualization

Uses of Bigraph in org.bigraphs.framework.converter

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

Modifier and Type	Interface	Description
interface	BigraphObjectDecoder<B extends Bigraph<?>,T>
interface	BigraphObjectEncoder<T,B extends Bigraph<?>>
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 Bigraph in org.bigraphs.framework.converter.bigred

Methods in org.bigraphs.framework.converter.bigred that return Bigraph

Modifier and Type	Method	Description
abstract Bigraph<?>	BigraphXmlLoaderSupport.importObject()

Uses of Bigraph in org.bigraphs.framework.core

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

Modifier and Type	Class	Description
class	AbstractRankedGraph<B extends Bigraph<?>,N,E>	Abstract base for ranked graph representations of different bigraph classes.

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

Modifier and Type	Class	Description
class	BigraphCompositeSupport<S extends AbstractEcoreSignature<? extends Control<?,?>>>	Abstract support class providing utility methods for BigraphComposite implementations.
class	BigraphDelegator<S extends Signature<?>>	Delegator base class for bigraphs.
class	ElementaryBigraph<S extends AbstractEcoreSignature<? extends Control<?,?>>>	Base class for the elementary building blocks of Ecore-based bigraphs.

Fields in org.bigraphs.framework.core declared as Bigraph

Modifier and Type	Field	Description
protected B	AbstractRankedGraph.bigraph
protected Bigraph<S>	BigraphDelegator.bigraphDelegate

Methods in org.bigraphs.framework.core with type parameters of type Bigraph

Modifier and Type	Method	Description
<B extends Bigraph<S>> B	BigraphBuilder.create()
<B extends Bigraph<S>> B	BigraphBuilder.NodeHierarchy.create()
protected <B extends Bigraph<S>> B	BigraphDelegator.getBigraphDelegate()
<B extends Bigraph<S>> B	BigraphComposite.getOuterBigraph()	Return the outer bigraph of a composition, that is, the left part of the operator (i.e., outer bigraph).

Methods in org.bigraphs.framework.core with parameters of type Bigraph

Modifier and Type	Method	Description
protected void	BigraphCompositeSupport.assertInterfaceCompatibleForCompose(Bigraph<S> outer, Bigraph<S> inner, boolean isCompose)
protected void	BigraphCompositeSupport.assertInterfaceCompatibleForJuxtaposition(Bigraph<S> outer, Bigraph<S> inner)
BigraphComposite<S>	BigraphComposite.compose(Bigraph<S> inner)	Composes two bigraphs where a new immutable bigraph is created.
protected boolean	BigraphCompositeSupport.isLinking(Bigraph<S> bigraph)
protected boolean	BigraphCompositeSupport.isPlacing(Bigraph<S> bigraph)
BigraphComposite<S>	BigraphComposite.juxtapose(Bigraph<S> f)	Compute the tensor product of two bigraphs.
BigraphComposite<S>	BigraphComposite.juxtpositionOf(Bigraph<S>... bigraphs)	Compute the tensor product in a row.
BigraphComposite<S>	BigraphComposite.merge(Bigraph<S> f)
BigraphComposite<S>	BigraphComposite.nesting(Bigraph<S> inner)	Nesting operation for two bigraphs.
BigraphComposite<S>	BigraphComposite.parallelProduct(Bigraph<S> f)	Compute the parallel product of two bigraphs.
BigraphComposite<S>	BigraphComposite.parallelProductOf(Bigraph<S>... bigraphs)	Compute the parallel product in a row.

Constructors in org.bigraphs.framework.core with parameters of type Bigraph

Modifier	Constructor	Description
	BigraphCompositeSupport(Bigraph<S> bigraphDelegate)
	BigraphDelegator(Bigraph<S> bigraphDelegate)
	ElementaryBigraph(Bigraph<S> bigraphDelegate)

Uses of Bigraph in org.bigraphs.framework.core.analysis

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

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 Bigraph

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 Bigraph

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 Bigraph in org.bigraphs.framework.core.factory

Fields in org.bigraphs.framework.core.factory with type parameters of type Bigraph

Modifier and Type	Field	Description
protected Class<? extends Bigraph<S>>	AbstractBigraphFactory.bigraphClassType

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

Modifier and Type	Method	Description
Class<? extends Bigraph<S>>	AbstractBigraphFactory.getBigraphClassType()
Class<? extends Bigraph<?>>	BigraphFactoryElement.getBigraphClassType()

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

Modifier and Type	Method	Description
abstract BigraphComposite<S>	AbstractBigraphFactory.asBigraphOperator(Bigraph<S> outerBigraph)	Create a composition object for a given bigraph which allows to compose bigraphs.
PureBigraphComposite<KindSignature>	KindBigraphFactory.asBigraphOperator(Bigraph<KindSignature> outerBigraph)
PureBigraphComposite<DynamicSignature>	PureBigraphFactory.asBigraphOperator(Bigraph<DynamicSignature> outerBigraph)
static <S extends Signature<? extends Control<?, ?>>> BigraphComposite<S>	BigraphFactory.ops(Bigraph<S> bigraph)

Method parameters in org.bigraphs.framework.core.factory with type arguments of type Bigraph

Modifier and Type	Method	Description
static <T extends AbstractBigraphFactory<?>> T	FactoryCreationContext.findFactoryFor(Class<? extends Bigraph> bigraphClass)

Uses of Bigraph in org.bigraphs.framework.core.impl.elementary

Classes in org.bigraphs.framework.core.impl.elementary that implement Bigraph

Modifier and Type	Class	Description
class	DiscreteIon<S extends AbstractEcoreSignature<? extends Control<? extends NamedType<?>,? extends FiniteOrdinal<?>>>>	This class represents a discrete ion.
class	Linkings.Closure
class	Linkings.Identity
class	Linkings.IdentityEmpty
class	Linkings.Substitution
class	Placings.Barren
class	Placings.Identity1	Identity of a barren.
class	Placings.Join
class	Placings.Merge	A merge maps m sites to a single root where m > 0.
class	Placings.Permutation	Base class of a bijective placing.
class	Placings.Symmetry	Symmetry placings

Uses of Bigraph in org.bigraphs.framework.core.impl.pure

Classes in org.bigraphs.framework.core.impl.pure that implement Bigraph

Modifier and Type	Class	Description
class	KindBigraph
class	PureBigraph	Ecore-based model implementation of a pure bigraph.
class	PureBigraphComposite<S extends AbstractEcoreSignature<? extends Control<?,?>>>	Composable bigraph implementation of BigraphComposite for pure bigraphs.

Methods in org.bigraphs.framework.core.impl.pure with parameters of type Bigraph

Modifier and Type	Method	Description
protected void	PureBigraphComposite.assertSignaturesAreSame(Bigraph<S> outer, Bigraph<S> inner)
BigraphComposite<S>	PureBigraphComposite.compose(Bigraph<S> f)
BigraphComposite<S>	PureBigraphComposite.juxtapose(Bigraph<S> f)
BigraphComposite<S>	PureBigraphComposite.juxtpositionOf(Bigraph<S>... bigraphs)
BigraphComposite<S>	PureBigraphComposite.merge(Bigraph<S> f)
BigraphComposite<S>	PureBigraphComposite.nesting(Bigraph<S> f)
BigraphComposite<S>	PureBigraphComposite.parallelProduct(Bigraph<S> f)
BigraphComposite<S>	PureBigraphComposite.parallelProductOf(Bigraph<S>... bigraphs)

Constructors in org.bigraphs.framework.core.impl.pure with parameters of type Bigraph

Modifier	Constructor	Description
	PureBigraphComposite(Bigraph<S> bigraph)	Constructs a composable bigraph from the given Bigraph.

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

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

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 Bigraph

Modifier and Type	Field	Description
protected B	AbstractSimpleReactiveSystem.initialAgent
protected final B	AbstractReactionRule.reactum
protected final B	AbstractReactionRule.redex

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

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 types with arguments of type Bigraph

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 Bigraph

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

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

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

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 Bigraph

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

Uses of Bigraph in org.bigraphs.framework.core.utils

Fields in org.bigraphs.framework.core.utils with type parameters of type Bigraph

Modifier and Type	Field	Description
static BinaryOperator<Bigraph<DynamicSignature>>	BigraphUtil.ACCUMULATOR_MERGE_PRODUCT
static BinaryOperator<Bigraph<DynamicSignature>>	BigraphUtil.ACCUMULATOR_PARALLEL_PRODUCT

Methods in org.bigraphs.framework.core.utils that return Bigraph

Modifier and Type	Method	Description
static <S extends AbstractEcoreSignature<? extends Control<?, ?>>> Bigraph<S>	BigraphUtil.copy(Bigraph<S> f)
static <S extends AbstractEcoreSignature<? extends Control<?, ?>>> Bigraph<S>	BigraphUtil.copyIfSame(Bigraph<S> g, Bigraph<S> f)
static Bigraph	BigraphUtil.reorderBigraphs(List<Bigraph> discreteBigraphs, InstantiationMap instantiationMap)	Each bigraph represents a "parameter" in a list.

Methods in org.bigraphs.framework.core.utils with parameters of type Bigraph

Modifier and Type	Method	Description
static <S extends AbstractEcoreSignature<? extends Control<?, ?>>> Bigraph<S>	BigraphUtil.copy(Bigraph<S> f)
static <S extends AbstractEcoreSignature<? extends Control<?, ?>>> Bigraph<S>	BigraphUtil.copyIfSame(Bigraph<S> g, Bigraph<S> f)
static boolean	BigraphUtil.isBigraphElementaryLinking(Bigraph<?> bigraph)
static boolean	BigraphUtil.isBigraphElementaryPlacing(Bigraph<?> bigraph)
static boolean	BigraphUtil.isElementaryBigraph(Bigraph<?> bigraph)	Basic checking method for simple elementary bigraphs such as a merge or closure.
static boolean	BigraphUtil.isSomeParentOfNode(BigraphEntity<?> node, BigraphEntity<?> possibleParent, Bigraph<?> bigraph)

Method parameters in org.bigraphs.framework.core.utils with type arguments of type Bigraph

Modifier and Type	Method	Description
static Bigraph	BigraphUtil.reorderBigraphs(List<Bigraph> discreteBigraphs, InstantiationMap instantiationMap)	Each bigraph represents a "parameter" in a list.

Uses of Bigraph in org.bigraphs.framework.simulation.encoding

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

Modifier and Type	Class	Description
class	BigraphCanonicalFormStrategy<B extends Bigraph<?>>

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

Modifier and Type	Method	Description
<B extends Bigraph<?>> String	BigraphCanonicalForm.bfcs(B bigraph)	Build a breadth-first canonical string (BFCS) for a pure bigraph according to the lexicographic order of the control's labels.

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

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

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 Bigraph

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 Bigraph in org.bigraphs.framework.simulation.equivalence

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

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	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<B extends Bigraph<? extends Signature<?>>,AST extends ReactionGraph<B>>	Mixin Infrastructure-related class.

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

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

Modifier and Type	Class	Description
class	BighuggiesBisimulationProcessAdapter<B extends Bigraph<? extends Signature<?>>,AST extends ReactionGraph<B>>	An adapter for AbstractTransitionSystem objects in Bigraph Framework for the external Java library "bighuggies:bisimulation" (shaded in the Simulation Module dependency).

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

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

Modifier and Type	Class	Description
class	AbstractBigraphMatcher<B extends Bigraph<? extends Signature<?>>>	Abstract class for matching bigraphs against reaction rules.
class	AbstractDynamicMatchAdapter<S extends AbstractEcoreSignature<? extends Control<?,?>>,B extends Bigraph<S> & EcoreBigraph<S>>	An adapter for bigraphs used for the matching procedure.
interface	BigraphMatchingEngine<B extends Bigraph<? extends Signature<?>>>	An interface representing a matching engine for bigraphs.
class	MatchIterable<T extends BigraphMatch<? extends Bigraph<?>>>	Custom iterable implementation for matches of type BigraphMatch.

Classes in org.bigraphs.framework.simulation.matching that implement Bigraph

Modifier and Type	Class	Description
class	AbstractDynamicMatchAdapter<S extends AbstractEcoreSignature<? extends Control<?,?>>,B extends Bigraph<S> & EcoreBigraph<S>>	An adapter for bigraphs used for the matching procedure.

Fields in org.bigraphs.framework.simulation.matching declared as Bigraph

Modifier and Type	Field	Description
protected B	AbstractBigraphMatcher.agent
protected B	AbstractBigraphMatcher.redex

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

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

Uses of Bigraph in org.bigraphs.framework.simulation.matching.pure

Classes in org.bigraphs.framework.simulation.matching.pure that implement Bigraph

Modifier and Type	Class	Description
class	PureBigraphAgentAdapter
class	PureBigraphRedexAdapter

Methods in org.bigraphs.framework.simulation.matching.pure that return Bigraph

Modifier and Type	Method	Description
Bigraph<DynamicSignature>	PureBigraphMatch.getContextIdentity()	Note: The return type is of class Bigraph with a DynamicSignature.
Bigraph<DynamicSignature>	PureBigraphMatch.getRedexIdentity()

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

Modifier and Type	Method	Description
Set<BigraphEntity.NodeEntity<?>>	IHSFilter.adj(BigraphEntity.NodeEntity<?> node, Bigraph<?> bigraph)
int	IHSFilter.degree(BigraphEntity.NodeEntity<?> node, Bigraph<?> bigraph)
Map<Integer,List<BigraphEntity.Link>>	IHSFilter.getIncidentHyperedges(BigraphEntity.NodeEntity<?> node, Bigraph<?> bigraph)
Set<BigraphEntity.NodeEntity<?>>	IHSFilter.getOfNodesForHyperedgeWithLabel(BigraphEntity.Link he, String label, Bigraph<?> bigraph)
int	IHSFilter.numOfadj(BigraphEntity.NodeEntity<?> node, Bigraph<?> bigraph)

Constructors in org.bigraphs.framework.simulation.matching.pure with parameters of type Bigraph

Modifier	Constructor	Description
	IHSFilter(Bigraph<?> redexAdapter, Bigraph<?> agentAdapter)
	PureBigraphMatch(it.uniud.mads.jlibbig.core.std.Match jLibMatchResult, PureBigraph context, PureBigraph redex, PureBigraph redexImage, Bigraph<DynamicSignature> redexIdentity, PureBigraph paramWiring, Collection<PureBigraph> parameters)
	PureBigraphMatch(PureBigraph context, PureBigraph redex, PureBigraph redexImage, Collection<PureBigraph> parameters, Bigraph<DynamicSignature> redexIdentity, Bigraph<DynamicSignature> contextIdentity)	Deprecated.
	SubHypergraphIsoSearch(Bigraph<?> redex, Bigraph<?> agent)

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

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

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.
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 without cycle-checking and predicate evaluation.
class	SimulatedAnnealingFrontierStrategy<B extends Bigraph<? extends Signature<?>>>

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

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

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

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

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 Bigraph

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 Bigraph in org.bigraphs.framework.simulation.modelchecking.reactions

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

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 Bigraph

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 Bigraph in org.bigraphs.framework.visualization

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

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

Methods in org.bigraphs.framework.visualization that return types with arguments of type Bigraph

Modifier and Type	Method	Description
BigraphGraphicsExporter<Bigraph<?>>	BigraphGraphvizExporter.with(GraphicalFeatureSupplier<?> supplier)

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

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.
static String	BigraphGraphvizExporter.toDOT(Bigraph<?> bigraph, boolean asTree)
static String	BigraphGraphvizExporter.toPNG(Bigraph<?> bigraph, boolean asTree, File output)
void	BigraphGraphvizExporter.toPNG(Bigraph<?> bigraph, File output)