Package org.bigraphs.framework.simulation.encoding

Class PureCanonicalForm.RewriteFunction

java.lang.Object

org.bigraphs.framework.simulation.encoding.PureCanonicalForm.RewriteFunction

Enclosing class:

PureCanonicalForm

public static class PureCanonicalForm.RewriteFunction
extends Object

Constructor Summary

Constructors

Constructor	Description
RewriteFunction()

Method Summary

Modifier and Type	Method	Description
String	rewrite(org.eclipse.collections.api.map.sorted.MutableSortedMap<String,BigraphEntity.Edge> E2, org.eclipse.collections.api.map.sorted.MutableSortedMap<String,BigraphEntity.OuterName> O2, BigraphEntity.Link l, Supplier<String> rewriteEdgeNameSupplier, Supplier<String> rewriteOuterNameSupplier, boolean printNodeIdentifiers)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

RewriteFunction

public RewriteFunction()

Method Details

rewrite

public String rewrite(org.eclipse.collections.api.map.sorted.MutableSortedMap<String,BigraphEntity.Edge> E2,
 org.eclipse.collections.api.map.sorted.MutableSortedMap<String,BigraphEntity.OuterName> O2,
 BigraphEntity.Link l,
 Supplier<String> rewriteEdgeNameSupplier,
 Supplier<String> rewriteOuterNameSupplier,
 boolean printNodeIdentifiers)