Uses of Class
org.bigraphs.framework.simulation.encoding.BigraphCanonicalForm

Packages that use BigraphCanonicalForm

Package	Description
org.bigraphs.framework.simulation.encoding
org.bigraphs.framework.simulation.modelchecking

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

Methods in org.bigraphs.framework.simulation.encoding that return BigraphCanonicalForm

Modifier and Type	Method	Description
static BigraphCanonicalForm	BigraphCanonicalForm.createInstance()
static BigraphCanonicalForm	BigraphCanonicalForm.createInstance(boolean withNodeIdentifiers)
BigraphCanonicalForm	BigraphCanonicalFormStrategy.getBigraphCanonicalForm()
BigraphCanonicalForm	BigraphCanonicalForm.setRewriteOpenLinks(boolean rewriteOpenLinks)
BigraphCanonicalForm	BigraphCanonicalForm.setWithNodeIdentifiers(boolean withNodeIdentifiers)

Constructors in org.bigraphs.framework.simulation.encoding with parameters of type BigraphCanonicalForm

Modifier	Constructor	Description
	BigraphCanonicalFormStrategy(BigraphCanonicalForm bigraphCanonicalForm)
	PureCanonicalForm(BigraphCanonicalForm bigraphCanonicalForm)

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

Fields in org.bigraphs.framework.simulation.modelchecking declared as BigraphCanonicalForm

Modifier and Type	Field	Description
protected BigraphCanonicalForm	BigraphModelChecker.canonicalForm

Methods in org.bigraphs.framework.simulation.modelchecking that return BigraphCanonicalForm

Modifier and Type	Method	Description
BigraphCanonicalForm	BigraphModelChecker.acquireCanonicalForm()