Uses of Class
org.bigraphs.framework.core.impl.pure.PureBigraph

Packages that use PureBigraph

Package	Description
org.bigraphs.framework.converter.bigmc
org.bigraphs.framework.converter.bigrapher
org.bigraphs.framework.converter.bigred
org.bigraphs.framework.converter.ecore
org.bigraphs.framework.converter.graphml
org.bigraphs.framework.converter.jlibbig
org.bigraphs.framework.converter.rankedgraph
org.bigraphs.framework.converter.vcg
org.bigraphs.framework.core.alg.generators
org.bigraphs.framework.core.analysis
org.bigraphs.framework.core.impl.pure
org.bigraphs.framework.core.reactivesystem
org.bigraphs.framework.core.utils
org.bigraphs.framework.simulation.encoding
org.bigraphs.framework.simulation.encoding.hash
org.bigraphs.framework.simulation.matching.pure
org.bigraphs.framework.simulation.modelchecking
org.bigraphs.framework.visualization

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

Method parameters in org.bigraphs.framework.converter.bigmc with type arguments of type PureBigraph

Modifier and Type	Method	Description
void	BigMcTransformator.toOutputStream(ReactiveSystem<PureBigraph> system, OutputStream outputStream)
String	BigMcTransformator.toString(ReactiveSystem<PureBigraph> system)

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

Method parameters in org.bigraphs.framework.converter.bigrapher with type arguments of type PureBigraph

Modifier and Type	Method	Description
String	BigrapherTransformator.toString(ReactiveSystem<PureBigraph> system)

Uses of PureBigraph in org.bigraphs.framework.converter.bigred

Fields in org.bigraphs.framework.converter.bigred declared as PureBigraph

Modifier and Type	Field	Description
protected PureBigraph	DefaultReactionRuleXMLLoader.reactum
protected PureBigraph	DefaultReactionRuleXMLLoader.redex

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

Modifier and Type	Method	Description
PureBigraph	DefaultBigraphXMLLoader.importObject()

Methods in org.bigraphs.framework.converter.bigred that return types with arguments of type PureBigraph

Modifier and Type	Method	Description
ParametricReactionRule<PureBigraph>	DefaultReactionRuleXMLLoader.importObject()	Return the reaction rule object after calling DefaultReactionRuleXMLLoader.readXml(String)
ReactiveSystem<PureBigraph>	DefaultSimulationSpecXMLLoader.importObject()

Constructor parameters in org.bigraphs.framework.converter.bigred with type arguments of type PureBigraph

Modifier	Constructor	Description
	DefaultSimulationSpecXMLLoader(AbstractSimpleReactiveSystem<PureBigraph> reactiveSystem)

Uses of PureBigraph in org.bigraphs.framework.converter.ecore

Methods in org.bigraphs.framework.converter.ecore with parameters of type PureBigraph

Modifier and Type	Method	Description
void	EcoreAgentConverter.toOutputStream(PureBigraph bigraph, OutputStream outputStream)
String	EcoreAgentConverter.toString(PureBigraph bigraph)	Throws a runtime exception if the encoding fails.

Method parameters in org.bigraphs.framework.converter.ecore with type arguments of type PureBigraph

Modifier and Type	Method	Description
void	EcoreConverter.toOutputStream(ReactiveSystem<PureBigraph> system, OutputStream outputStream)
String	EcoreConverter.toString(ReactiveSystem<PureBigraph> system)

Uses of PureBigraph in org.bigraphs.framework.converter.graphml

Methods in org.bigraphs.framework.converter.graphml with parameters of type PureBigraph

Modifier and Type	Method	Description
void	PureBigraph2GraphMLPrettyPrinter.toOutputStream(PureBigraph bigraph, OutputStream outputStream)
String	PureBigraph2GraphMLPrettyPrinter.toString(PureBigraph bigraph)

Uses of PureBigraph in org.bigraphs.framework.converter.jlibbig

Methods in org.bigraphs.framework.converter.jlibbig that return PureBigraph

Modifier and Type	Method	Description
PureBigraph	JLibBigBigraphDecoder.decode(it.uniud.mads.jlibbig.core.std.Bigraph bigraph)
PureBigraph	JLibBigBigraphDecoder.decode(it.uniud.mads.jlibbig.core.std.Bigraph bigraph, DynamicSignature signature)

Methods in org.bigraphs.framework.converter.jlibbig with parameters of type PureBigraph

Modifier and Type	Method	Description
it.uniud.mads.jlibbig.core.std.Bigraph	JLibBigBigraphEncoder.encode(PureBigraph bigraph)
it.uniud.mads.jlibbig.core.std.Bigraph	JLibBigBigraphEncoder.encode(PureBigraph bigraph, it.uniud.mads.jlibbig.core.std.Signature providedSig)

Uses of PureBigraph in org.bigraphs.framework.converter.rankedgraph

Constructors in org.bigraphs.framework.converter.rankedgraph with parameters of type PureBigraph

Modifier	Constructor	Description
	PureBigraphRankedGraphEncoding(PureBigraph bigraph)

Uses of PureBigraph in org.bigraphs.framework.converter.vcg

Methods in org.bigraphs.framework.converter.vcg with parameters of type PureBigraph

Modifier and Type	Method	Description
void	VCGTransformator.toOutputStream(PureBigraph bigraph, OutputStream outputStream)
String	VCGTransformator.toString(PureBigraph bigraph)

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

Methods in org.bigraphs.framework.core.alg.generators that return PureBigraph

Modifier and Type	Method	Description
PureBigraph	PureBigraphGenerator.generate(int t, int n, float p)
PureBigraph	PureBigraphGenerator.generate(int t, int n, float p, float p_l, float p_e)
PureBigraph	PureBigraphGenerator.generate(int t, int n, int s)
PureBigraph	PureBigraphGenerator.generate(int t, int n, int s, float p)
PureBigraph	PureBigraphGenerator.generate(int t, int n, int s, float p, float p_l, float p_e)	Number of roots t must be greater or equal 0.

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

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

Modifier and Type	Method	Description
List<PureBigraph>	PureBigraphDecomposerImpl.getConnectedComponents()
List<PureBigraph>	PureLinkGraphConnectedComponents.getConnectedComponents()	Get the connected component as disjoint bigraphs.

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

Modifier and Type	Method	Description
void	PureLinkGraphConnectedComponents.decompose(PureBigraph linkGraph)	Entrypoint of the algorithm.
static boolean	BigraphConnectivityChecker.isFullyConnected(PureBigraph bigraph)	Checks if all nodes in the place graph of the given bigraph are fully connected.

Constructor parameters in org.bigraphs.framework.core.analysis with type arguments of type PureBigraph

Modifier	Constructor	Description
protected	PureBigraphDecomposerImpl(BigraphDecompositionStrategy<PureBigraph> decompositionStrategy)

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

Subclasses of PureBigraph in org.bigraphs.framework.core.impl.pure

Modifier and Type	Class	Description
class	PureBigraphMutable	Mutable extension of PureBigraph that supports live editing operations.

Methods in org.bigraphs.framework.core.impl.pure that return PureBigraph

Modifier and Type	Method	Description
PureBigraph	PureBigraphBuilder.create()
PureBigraph	PureBigraphBuilder.Hierarchy.create()
PureBigraph	PureBigraphComposite.getOuterBigraph()	Function that makes the nodes disjunct in terms of there names.

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

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

Modifier and Type	Method	Description
protected BigraphComposite<DynamicSignature>	ReactionRuleComposer.composeBigraphs(PureBigraph left, PureBigraph right, ReactionRuleComposer.RuleProductOperation operation)

Method parameters in org.bigraphs.framework.core.reactivesystem with type arguments of type PureBigraph

Modifier and Type	Method	Description
R	ReactionRuleComposer.mergeProduct(ReactionRule<PureBigraph> left, ReactionRule<PureBigraph> right)	Computes the merge product of two reaction rules.
R	ReactionRuleComposer.parallelProduct(ReactionRule<PureBigraph> left, ReactionRule<PureBigraph> right)	This method composes two rules by using the parallel product.
protected R	ReactionRuleComposer.ruleProduct(ReactionRule<PureBigraph> left, ReactionRule<PureBigraph> right, ReactionRuleComposer.RuleProductOperation operation)

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

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

Modifier and Type	Method	Description
static PureBigraph	BigraphUtil.toBigraph(EcoreBigraph.Stub<DynamicSignature> stub, DynamicSignature signature)
static PureBigraph	BigraphUtil.toBigraph(org.eclipse.emf.ecore.EPackage metaModel, org.eclipse.emf.ecore.EObject instanceModel, DynamicSignature signature)

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

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

Modifier and Type	Method	Description
void	BigraphCanonicalForm.assertBigraphHasRoots(PureBigraph bigraph)
String	PureCanonicalForm.compute(PureBigraph bigraph)

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

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

Modifier and Type	Method	Description
long	PureBigraphHash.hash(PureBigraph bigraph)	Computes a "hash" for a pure bigraph by only considering the number of places, edges, inner and outer names.

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

Fields in org.bigraphs.framework.simulation.matching.pure with type parameters of type PureBigraph

Modifier and Type	Field	Description
protected ReactionRule<PureBigraph>	PureBigraphMatchingEngine.reactionRule

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

Modifier and Type	Method	Description
PureBigraph	PureReactiveSystem.buildGroundReaction(PureBigraph agent, BigraphMatch<PureBigraph> match, ReactionRule<PureBigraph> rule)
PureBigraph	PureReactiveSystem.buildParametricReaction(PureBigraph agent, BigraphMatch<PureBigraph> match, ReactionRule<PureBigraph> rule)
PureBigraph	PureBigraphMatch.getContext()
PureBigraph	PureBigraphMatch.getParam()
PureBigraph	PureBigraphMatch.getRedex()
PureBigraph	PureBigraphMatch.getRedexImage()

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

Modifier and Type	Method	Description
PureBigraph	PureReactiveSystem.buildGroundReaction(PureBigraph agent, BigraphMatch<PureBigraph> match, ReactionRule<PureBigraph> rule)
PureBigraph	PureReactiveSystem.buildParametricReaction(PureBigraph agent, BigraphMatch<PureBigraph> match, ReactionRule<PureBigraph> rule)
MatchIterable<PureBigraphMatch>	PureBigraphMatcher.match(PureBigraph agent, ReactionRule<PureBigraph> rule)	Deprecated.
MatchIterable<PureBigraphMatch>	PureBigraphMatcher.matchAll(PureBigraph agent, ReactionRule<PureBigraph> rule)
MatchIterable<PureBigraphMatch>	PureBigraphMatcher.matchFirst(PureBigraph agent, ReactionRule<PureBigraph> rule)	Finds the first match of a specified reaction rule within a given pure bigraph.
void	PureBigraphMatch.setContext(PureBigraph context)
void	PureBigraphMatch.setParam(PureBigraph param)
void	PureBigraphMatch.setRedexImage(PureBigraph redexImage)

Method parameters in org.bigraphs.framework.simulation.matching.pure with type arguments of type PureBigraph

Modifier and Type	Method	Description
PureBigraph	PureReactiveSystem.buildGroundReaction(PureBigraph agent, BigraphMatch<PureBigraph> match, ReactionRule<PureBigraph> rule)
PureBigraph	PureReactiveSystem.buildGroundReaction(PureBigraph agent, BigraphMatch<PureBigraph> match, ReactionRule<PureBigraph> rule)
PureBigraph	PureReactiveSystem.buildParametricReaction(PureBigraph agent, BigraphMatch<PureBigraph> match, ReactionRule<PureBigraph> rule)
PureBigraph	PureReactiveSystem.buildParametricReaction(PureBigraph agent, BigraphMatch<PureBigraph> match, ReactionRule<PureBigraph> rule)
protected final it.uniud.mads.jlibbig.core.std.Bigraph	PureReactiveSystem.instantiateReactum(it.uniud.mads.jlibbig.core.std.Match match, ReactionRule<PureBigraph> rule)	Instantiates rule's reactum with respect to the given match.
protected final it.uniud.mads.jlibbig.core.std.Bigraph	PureReactiveSystem.instantiateReactumV2(it.uniud.mads.jlibbig.core.std.Match match, ReactionRule<PureBigraph> rule)
MatchIterable<PureBigraphMatch>	PureBigraphMatcher.match(PureBigraph agent, ReactionRule<PureBigraph> rule)	Deprecated.
MatchIterable<PureBigraphMatch>	PureBigraphMatcher.matchAll(PureBigraph agent, ReactionRule<PureBigraph> rule)
MatchIterable<PureBigraphMatch>	PureBigraphMatcher.matchFirst(PureBigraph agent, ReactionRule<PureBigraph> rule)	Finds the first match of a specified reaction rule within a given pure bigraph.

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

Modifier	Constructor	Description
	PureBigraphMatch(it.uniud.mads.jlibbig.core.std.Match jLibMatchResult, PureBigraph context, PureBigraph redex, PureBigraph redexImage, Bigraph<DynamicSignature> redexIdentity, PureBigraph paramWiring, Collection<PureBigraph> parameters)
protected	PureBigraphMatchingEngine(PureBigraph agent, ReactionRule<PureBigraph> reactionRule)

Constructor parameters in org.bigraphs.framework.simulation.matching.pure with type arguments of type PureBigraph

Modifier	Constructor	Description
	PureBigraphMatch(it.uniud.mads.jlibbig.core.std.Match jLibMatchResult, PureBigraph context, PureBigraph redex, PureBigraph redexImage, Bigraph<DynamicSignature> redexIdentity, PureBigraph paramWiring, Collection<PureBigraph> parameters)
protected	PureBigraphMatchingEngine(PureBigraph agent, ReactionRule<PureBigraph> reactionRule)

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

Constructor parameters in org.bigraphs.framework.simulation.modelchecking with type arguments of type PureBigraph

Modifier	Constructor	Description
	PureBigraphModelChecker(ReactiveSystem<PureBigraph> reactiveSystem, BigraphModelChecker.SimulationStrategy.Type simulationStrategyType, ModelCheckingOptions options)
	PureBigraphModelChecker(ReactiveSystem<PureBigraph> reactiveSystem, BigraphModelChecker.SimulationStrategy.Type simulationStrategyType, ModelCheckingOptions options, BigraphModelChecker.ReactiveSystemListener<PureBigraph> listener)
	PureBigraphModelChecker(ReactiveSystem<PureBigraph> reactiveSystem, BigraphModelChecker.SimulationStrategy.Type simulationStrategyType, ModelCheckingOptions options, BigraphModelChecker.ReactiveSystemListener<PureBigraph> listener)
	PureBigraphModelChecker(ReactiveSystem<PureBigraph> reactiveSystem, ModelCheckingOptions options)
	PureBigraphModelChecker(ReactiveSystem<PureBigraph> reactiveSystem, ModelCheckingStrategy<PureBigraph> modelCheckingStrategy, ModelCheckingOptions options)
	PureBigraphModelChecker(ReactiveSystem<PureBigraph> reactiveSystem, ModelCheckingStrategy<PureBigraph> modelCheckingStrategy, ModelCheckingOptions options)

Uses of PureBigraph in org.bigraphs.framework.visualization

Constructors in org.bigraphs.framework.visualization with parameters of type PureBigraph

Modifier	Constructor	Description
	SwingGraphStreamer(PureBigraph bigraph)
	SwingGraphStreamer(PureBigraph bigraph, boolean withSites, boolean withRoots)
	SwingGraphStreamer(PureBigraph bigraph, boolean withSites, boolean withRoots, boolean darkMode)