Uses of Class
org.bigraphs.framework.core.reactivesystem.ReactiveSystemPredicate

Packages that use ReactiveSystemPredicate

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

Uses of ReactiveSystemPredicate in org.bigraphs.framework.core.reactivesystem

Fields in org.bigraphs.framework.core.reactivesystem with type parameters of type ReactiveSystemPredicate

Modifier and Type	Field	Description
protected com.google.common.collect.BiMap<String,ReactiveSystemPredicate<B>>	AbstractSimpleReactiveSystem.predicateMap

Methods in org.bigraphs.framework.core.reactivesystem with type parameters of type ReactiveSystemPredicate

Modifier and Type	Method	Description
<T extends ReactiveSystemPredicate<B>> T	ReactiveSystemPredicate.withLabel(String label)

Methods in org.bigraphs.framework.core.reactivesystem that return types with arguments of type ReactiveSystemPredicate

Modifier and Type	Method	Description
com.google.common.collect.BiMap<String,ReactiveSystemPredicate<B>>	AbstractSimpleReactiveSystem.getPredicateMap()
com.google.common.collect.BiMap<String,ReactiveSystemPredicate<B>>	ReactiveSystem.getPredicateMap()
Map<ReactionGraph.LabeledNode,Set<ReactiveSystemPredicate<B>>>	ReactionGraph.getPredicateMatches()
Set<ReactiveSystemPredicate<B>>	AbstractSimpleReactiveSystem.getPredicates()
Collection<ReactiveSystemPredicate<B>>	ReactiveSystem.getPredicates()

Methods in org.bigraphs.framework.core.reactivesystem with parameters of type ReactiveSystemPredicate

Modifier and Type	Method	Description
void	AbstractSimpleReactiveSystem.addPredicate(ReactiveSystemPredicate<B> predicate)
ReactionGraph<B>	ReactionGraph.addPredicateMatchToNode(ReactionGraph.LabeledNode node, ReactiveSystemPredicate<B> predicates)

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

Methods in org.bigraphs.framework.simulation.modelchecking that return types with arguments of type ReactiveSystemPredicate

Modifier and Type	Method	Description
List<ReactiveSystemPredicate<B>>	BigraphModelChecker.getPredicates()

Methods in org.bigraphs.framework.simulation.modelchecking with parameters of type ReactiveSystemPredicate

Modifier and Type	Method	Description
default void	BigraphModelChecker.ReactiveSystemListener.onPredicateMatched(B currentAgent, ReactiveSystemPredicate<B> predicate)	This method is called if a predicate evaluated to true for some state.
default void	BigraphModelChecker.ReactiveSystemListener.onPredicateViolated(B currentAgent, ReactiveSystemPredicate<B> predicate, org.jgrapht.GraphPath<ReactionGraph.LabeledNode,ReactionGraph.LabeledEdge> counterExampleTrace)	Reports a violation of a predicate and supplies a counterexample trace from the initial state to the violating state.
default void	BigraphModelChecker.ReactiveSystemListener.onSubPredicateMatched(B currentAgent, ReactiveSystemPredicate<B> predicate, B context, B subBigraph, B redexOnly, B paramsOnly)	This method is called if a sub-bigraph-predicate evaluated to true for some state.

Uses of ReactiveSystemPredicate in org.bigraphs.framework.simulation.modelchecking.predicates

Subclasses of ReactiveSystemPredicate in org.bigraphs.framework.simulation.modelchecking.predicates

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

Methods in org.bigraphs.framework.simulation.modelchecking.predicates that return types with arguments of type ReactiveSystemPredicate

Modifier and Type	Method	Description
Map<ReactiveSystemPredicate<B>,Boolean>	PredicateChecker.getChecked()	Get detailed information of the predicate evaluation after the method PredicateChecker.checkAll(Bigraph) was called.
List<ReactiveSystemPredicate<B>>	PredicateChecker.getPredicates()	Get the set of predicates with which the class was instantiated.

Constructors in org.bigraphs.framework.simulation.modelchecking.predicates with parameters of type ReactiveSystemPredicate

Modifier	Constructor	Description
	AndPredicate(boolean negate, ReactiveSystemPredicate<B>... predicates)
	AndPredicate(ReactiveSystemPredicate<B>... predicates)
	AndPredicate(ReactiveSystemPredicate<B> predicateA, ReactiveSystemPredicate<B> predicateB)
	AndPredicate(ReactiveSystemPredicate<B> predicateA, ReactiveSystemPredicate<B> predicateB, boolean negate)
	OrPredicate(boolean negate, ReactiveSystemPredicate<B>... predicates)
	OrPredicate(ReactiveSystemPredicate<B>... predicates)
	OrPredicate(ReactiveSystemPredicate<B> predicateA, ReactiveSystemPredicate<B> predicateB)
	OrPredicate(ReactiveSystemPredicate<B> predicateA, ReactiveSystemPredicate<B> predicateB, boolean negate)

Constructor parameters in org.bigraphs.framework.simulation.modelchecking.predicates with type arguments of type ReactiveSystemPredicate

Modifier	Constructor	Description
	PredicateChecker(Collection<ReactiveSystemPredicate<B>> predicates)