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