Uses of Class org.bigraphs.framework.converter.jlibbig.JLibBigBigraphEncoder (Bigraph Parent Project 2.2.2-SNAPSHOT API)

Packages that use JLibBigBigraphEncoder

Package

Description

org.bigraphs.framework.simulation.modelchecking

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