Class BigraphCanonicalFormStrategy<B extends Bigraph<?>>
java.lang.Object
org.bigraphs.framework.simulation.encoding.BigraphCanonicalFormStrategy<B>
- Direct Known Subclasses:
PureCanonicalForm
- Author:
- Dominik Grzelak
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionabstract String
boolean
boolean
setPrintNodeIdentifiers
(boolean printNodeIdentifiers) setRewriteOpenLinks
(boolean rewriteOpenLinks)
-
Constructor Details
-
BigraphCanonicalFormStrategy
-
-
Method Details
-
isPrintNodeIdentifiers
public boolean isPrintNodeIdentifiers() -
setPrintNodeIdentifiers
-
isRewriteOpenLinks
public boolean isRewriteOpenLinks() -
setRewriteOpenLinks
-
compute
-
getBigraphCanonicalForm
-