Class BigraphCanonicalFormStrategy<B extends Bigraph<?>>

java.lang.Object
org.bigraphs.framework.simulation.encoding.BigraphCanonicalFormStrategy<B>
Direct Known Subclasses:
PureCanonicalForm

public abstract class BigraphCanonicalFormStrategy<B extends Bigraph<?>> extends Object
Author:
Dominik Grzelak
  • Constructor Details

    • BigraphCanonicalFormStrategy

      public BigraphCanonicalFormStrategy(BigraphCanonicalForm bigraphCanonicalForm)
  • Method Details

    • isPrintNodeIdentifiers

      public boolean isPrintNodeIdentifiers()
    • setPrintNodeIdentifiers

      public BigraphCanonicalFormStrategy<B> setPrintNodeIdentifiers(boolean printNodeIdentifiers)
    • isRewriteOpenLinks

      public boolean isRewriteOpenLinks()
    • setRewriteOpenLinks

      public BigraphCanonicalFormStrategy<B> setRewriteOpenLinks(boolean rewriteOpenLinks)
    • compute

      public abstract String compute(B bigraph)
    • getBigraphCanonicalForm

      public BigraphCanonicalForm getBigraphCanonicalForm()