Uses of Package
org.bigraphs.framework.simulation.modelchecking.predicates

Packages that use org.bigraphs.framework.simulation.modelchecking.predicates

Package	Description
org.bigraphs.framework.simulation.modelchecking
org.bigraphs.framework.simulation.modelchecking.predicates

Classes in org.bigraphs.framework.simulation.modelchecking.predicates used by org.bigraphs.framework.simulation.modelchecking

Class	Description
PredicateChecker	The task of the class is to evaluate a given set of predicates of class ReactiveSystemPredicate.

Classes in org.bigraphs.framework.simulation.modelchecking.predicates used by org.bigraphs.framework.simulation.modelchecking.predicates

Class	Description
BigraphIsoPredicate	Predicate implementation that returns true if two bigraphs are isomorphic (i.e., structurally equivalent).
SubBigraphMatchPredicate	Simple predicate implementation that returns true if one bigraph is contained in another (subbigraph matching problem).