Uses of Class org.bigraphs.framework.converter.jlibbig.JLibBigBigraphEncoder (Bigraph Parent Project 2.3.0 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