Uses of Class
org.bigraphs.framework.simulation.modelchecking.predicates.PredicateChecker

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>	BigraphModelChecker.predicateChecker