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

package org.bigraphs.framework.simulation.modelchecking.predicates

Related Packages

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

Classes

Class	Description
AndPredicate<B extends Bigraph<? extends Signature<?>>>	A composite predicate which concatenates all given predicates with the and operator.
BigraphIsoPredicate<B extends Bigraph<? extends Signature<?>>>	Predicate implementation that returns true if two bigraphs are isomorphic (i.e., structurally equivalent).
OrPredicate<B extends Bigraph<? extends Signature<?>>>	A composite predicate which concatenates all given predicates with the or operator.
PredicateChecker<B extends Bigraph<? extends Signature<?>>>	The task of the class is to evaluate a given set of predicates of class ReactiveSystemPredicate.
SubBigraphMatchPredicate<B extends Bigraph<? extends Signature<?>>>	Simple predicate implementation that returns true if one bigraph is contained in another (subbigraph matching problem).