Uses of Package
org.bigraphs.framework.simulation.modelchecking.predicates
Packages that use org.bigraphs.framework.simulation.modelchecking.predicates
Package
Description
-
Classes in org.bigraphs.framework.simulation.modelchecking.predicates used by org.bigraphs.framework.simulation.modelcheckingClassDescriptionThe 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.predicatesClassDescriptionPredicate implementation that returns
true
if two bigraphs are isomorphic (i.e., structurally equivalent).Simple predicate implementation that returns true if one bigraph is contained in another (subbigraph matching problem).