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.alg.generators
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.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	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 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 class for a ranked graph representation for different classes of bigraphs.

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

Modifier and Type	Class	Description
class	BigraphCompositeSupport<S extends AbstractEcoreSignature<? extends Control<?,?>>>	This class provides a collection of useful methods for implementations of BigraphComposite
class	BigraphDelegator<S extends Signature<?>>	Delegator class for bigraphs (currently only suitable for pure bigraphs, e.g., no getParents() method available)
class	ElementaryBigraph<S extends AbstractEcoreSignature<? extends Control<?,?>>>	Interface for the basic building blocks for all 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.createBigraph()
<B extends Bigraph<S>> B	BigraphBuilder.NodeHierarchy.createBigraph()
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.alg.generators

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

Modifier and Type	Method	Description
Optional<Bigraph>	BigridGenerator.DiscreteIons.createClosure(String name, int length, Bigraph<?> b, Linkings<DefaultDynamicSignature> linkings)	Helper method to create a closure (node-free bigraph, a linking)
Optional<Bigraph>	BigridGenerator.DiscreteIons.createNorthSouthConnector(Bigraph<?> rowBigraph, Linkings<DefaultDynamicSignature> linkings)	Helper methods that creates a wiring to connect rows of a bigrid
Optional<Bigraph>	BigridGenerator.DiscreteIons.createRenaming(Map<String,String> renamings, PureBigraph previous, Linkings<DefaultDynamicSignature> linkings)	Helper method to create a renaming (node-free bigraph, a bijective substitution)

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

Modifier and Type	Method	Description
Optional<Bigraph>	BigridGenerator.DiscreteIons.createClosure(String name, int length, Bigraph<?> b, Linkings<DefaultDynamicSignature> linkings)	Helper method to create a closure (node-free bigraph, a linking)
Optional<Bigraph>	BigridGenerator.DiscreteIons.createNorthSouthConnector(Bigraph<?> rowBigraph, Linkings<DefaultDynamicSignature> linkings)	Helper methods that creates a wiring to connect rows of a bigrid

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<DefaultDynamicSignature>	PureBigraphFactory.asBigraphOperator(Bigraph<DefaultDynamicSignature> 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	This class is an 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)	Constructor creates 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.
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 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.

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

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)

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	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 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<?>>>	This class is responsible for executing bigraph matching.
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<?>>>	Interface for implementing a matching algorithm for a concrete bigraph kind (e.g., pure 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<DefaultDynamicSignature>	PureBigraphParametricMatch.getContextIdentity()	Note: The return type is of class Bigraph with a DefaultDynamicSignature.
Bigraph<DefaultDynamicSignature>	PureBigraphParametricMatch.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)
	PureBigraphParametricMatch(it.uniud.mads.jlibbig.core.std.Match jLibMatchResult, PureBigraph context, PureBigraph redex, PureBigraph redexImage, Bigraph<DefaultDynamicSignature> redexIdentity, PureBigraph paramWiring, Collection<PureBigraph> parameters)
	PureBigraphParametricMatch(PureBigraph context, PureBigraph redex, PureBigraph redexImage, Collection<PureBigraph> parameters, Bigraph<DefaultDynamicSignature> redexIdentity, Bigraph<DefaultDynamicSignature> contextIdentity)
	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	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 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 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 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)