Uses of Class
org.bigraphs.framework.simulation.encoding.BigraphCanonicalForm
Package
Description
-
Uses of BigraphCanonicalForm in org.bigraphs.framework.simulation.encoding
Modifier and TypeMethodDescriptionstatic BigraphCanonicalForm
BigraphCanonicalForm.createInstance()
static BigraphCanonicalForm
BigraphCanonicalForm.createInstance
(boolean withNodeIdentifiers) BigraphCanonicalFormStrategy.getBigraphCanonicalForm()
BigraphCanonicalForm.setRewriteOpenLinks
(boolean rewriteOpenLinks) BigraphCanonicalForm.setWithNodeIdentifiers
(boolean withNodeIdentifiers) ModifierConstructorDescriptionBigraphCanonicalFormStrategy
(BigraphCanonicalForm bigraphCanonicalForm) PureCanonicalForm
(BigraphCanonicalForm bigraphCanonicalForm) -
Uses of BigraphCanonicalForm in org.bigraphs.framework.simulation.modelchecking
Modifier and TypeFieldDescriptionprotected BigraphCanonicalForm
BigraphModelChecker.canonicalForm