Uses of Class
org.bigraphs.framework.converter.jlibbig.JLibBigBigraphEncoder
Packages that use JLibBigBigraphEncoder
-
Uses of JLibBigBigraphEncoder in org.bigraphs.framework.simulation.modelchecking
Fields in org.bigraphs.framework.simulation.modelchecking declared as JLibBigBigraphEncoderModifier and TypeFieldDescriptionprotected JLibBigBigraphEncoder
ModelCheckingStrategySupport.encoder