Uses of Class
org.bigraphs.framework.converter.jlibbig.JLibBigBigraphEncoder

Packages that use JLibBigBigraphEncoder

Package	Description
org.bigraphs.framework.simulation.matching.pure
org.bigraphs.framework.simulation.modelchecking

Uses of JLibBigBigraphEncoder in org.bigraphs.framework.simulation.matching.pure

Fields in org.bigraphs.framework.simulation.matching.pure declared as JLibBigBigraphEncoder

Modifier and Type	Field	Description
protected final JLibBigBigraphEncoder	PureBigraphMatchingEngine.encoder

Uses of JLibBigBigraphEncoder in org.bigraphs.framework.simulation.modelchecking

Fields in org.bigraphs.framework.simulation.modelchecking declared as JLibBigBigraphEncoder

Modifier and Type	Field	Description
protected JLibBigBigraphEncoder	ModelCheckingStrategySupport.encoder