Class JLibBigBigraphEncoder
java.lang.Object
org.bigraphs.framework.converter.jlibbig.JLibBigBigraphEncoder
- All Implemented Interfaces:
BigraphObjectEncoder<it.uniud.mads.jlibbig.core.std.Bigraph,
PureBigraph>
public class JLibBigBigraphEncoder
extends Object
implements BigraphObjectEncoder<it.uniud.mads.jlibbig.core.std.Bigraph,PureBigraph>
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic it.uniud.mads.jlibbig.core.std.Control
createControl
(String name, int arity, boolean active) it.uniud.mads.jlibbig.core.std.Bigraph
encode
(PureBigraph bigraph) it.uniud.mads.jlibbig.core.std.Bigraph
encode
(PureBigraph bigraph, it.uniud.mads.jlibbig.core.std.Signature providedSig) static it.uniud.mads.jlibbig.core.std.Signature
-
Constructor Details
-
JLibBigBigraphEncoder
public JLibBigBigraphEncoder()
-
-
Method Details
-
encode
- Specified by:
encode
in interfaceBigraphObjectEncoder<it.uniud.mads.jlibbig.core.std.Bigraph,
PureBigraph>
-
encode
public it.uniud.mads.jlibbig.core.std.Bigraph encode(PureBigraph bigraph, it.uniud.mads.jlibbig.core.std.Signature providedSig) -
parseSignature
-
createControl
public static it.uniud.mads.jlibbig.core.std.Control createControl(String name, int arity, boolean active)
-