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.impl.pure
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, DefaultDynamicSignature 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	BigridGenerator.DiscreteIons.bottomEdge()
PureBigraph	BigridGenerator.DiscreteIons.bottomLeft()
PureBigraph	BigridGenerator.DiscreteIons.bottomRight()
PureBigraph	BigridGenerator.DiscreteIons.center()
PureBigraph	BigridGenerator.DiscreteIons.createByType(BigridGenerator.DiscreteIons.NodeType nodeType)
PureBigraph	BigridGenerator.generate(int numOfRows, int numOfCols)
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.
PureBigraph	BigridGenerator.DiscreteIons.leftEdge()
PureBigraph	BigridGenerator.DiscreteIons.rightEdge()
PureBigraph	BigridGenerator.DiscreteIons.topEdge()	Top edge of a bigrid
PureBigraph	BigridGenerator.DiscreteIons.topLeft()	Top-left corner of a bigrid
PureBigraph	BigridGenerator.DiscreteIons.topRight()

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

Modifier and Type	Method	Description
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)

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

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

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

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<DefaultDynamicSignature> stub, DefaultDynamicSignature signature)
static PureBigraph	BigraphUtil.toBigraph(org.eclipse.emf.ecore.EPackage metaModel, org.eclipse.emf.ecore.EObject instanceModel, DefaultDynamicSignature 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

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

Modifier and Type	Method	Description
<M extends BigraphMatch<PureBigraph>> MatchIterable<M>	PureBigraphMatcher.match(PureBigraph agent, ReactionRule<PureBigraph> rule)

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	PureBigraphParametricMatch.getContext()
PureBigraph	PureBigraphParametricMatch.getRedex()
PureBigraph	PureBigraphParametricMatch.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)
<M extends BigraphMatch<PureBigraph>> MatchIterable<M>	PureBigraphMatcher.match(PureBigraph agent, ReactionRule<PureBigraph> rule)

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.
<M extends BigraphMatch<PureBigraph>> MatchIterable<M>	PureBigraphMatcher.match(PureBigraph agent, ReactionRule<PureBigraph> rule)

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

Modifier	Constructor	Description
	PureBigraphAgentAdapter(PureBigraph bigraph)
	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)
	PureBigraphRedexAdapter(PureBigraph bigraph)

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

Modifier	Constructor	Description
	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)

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)

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)