Uses of Class org.bigraphs.framework.simulation.modelchecking.predicates.PredicateChecker (Bigraph Parent Project 2.2.2-SNAPSHOT API)

Packages that use PredicateChecker

Package

Description

org.bigraphs.framework.simulation.modelchecking

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

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

Modifier and Type

Field

Description

protected PredicateChecker<B>

ModelCheckingStrategySupport.predicateChecker