Deprecated API

Contents

• Classes
• Methods
• Constructors

Deprecated Classes

Class	Description
org.bigraphs.framework.core.alg.generators.BigridGenerator
org.bigraphs.framework.core.analysis.BigraphAnalysis
org.bigraphs.framework.simulation.modelchecking.BreadthFirstSimulationStrategy

Deprecated Methods

Method	Description
org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions.Builder.setRewriteResultFolder(File)
org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions.getRewriteResultFolder()
org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions.hasRewriteResultFolder()

Deprecated Constructors

Constructor	Description
org.bigraphs.framework.simulation.matching.pure.PureBigraphParametricMatch(PureBigraph, PureBigraph, PureBigraph, Collection<PureBigraph>, Bigraph<DefaultDynamicSignature>, Bigraph<DefaultDynamicSignature>)