Uses of Class org.bigraphs.framework.converter.jlibbig.JLibBigBigraphDecoder (Bigraph Parent Project 2.3.0 API)

Packages that use JLibBigBigraphDecoder

Package

Description

org.bigraphs.framework.simulation.modelchecking

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

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

Modifier and Type

Field

Description

protected JLibBigBigraphDecoder

ModelCheckingStrategySupport.decoder