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

Class AndPredicate<B extends Bigraph<? extends Signature<?>>>

java.lang.Object

org.bigraphs.framework.core.reactivesystem.ReactiveSystemPredicate<B>

org.bigraphs.framework.simulation.modelchecking.predicates.AndPredicate<B>

All Implemented Interfaces:

Predicate<B>, HasLabel

public class AndPredicate<B extends Bigraph<? extends Signature<?>>>
extends ReactiveSystemPredicate<B>

A composite predicate which concatenates all given predicates with the and operator.

Author:

Dominik Grzelak

Field Summary

Fields inherited from class org.bigraphs.framework.core.reactivesystem.ReactiveSystemPredicate

label, negate

Constructor Summary

Constructors

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)

Method Summary

Modifier and Type	Method	Description
B	getBigraph()	Get the bigraph used in the predicate.
boolean	test(B agent)	Concatenates all given predicates with the and operator of the ReactiveSystemPredicate class and evaluates them together.

Methods inherited from class org.bigraphs.framework.core.reactivesystem.ReactiveSystemPredicate

getLabel, isNegate, setNegate, withLabel

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.bigraphs.framework.core.reactivesystem.HasLabel

isDefined

Methods inherited from interface java.util.function.Predicate

and, negate, or

Constructor Details

AndPredicate

public AndPredicate(ReactiveSystemPredicate<B> predicateA,
 ReactiveSystemPredicate<B> predicateB)

AndPredicate

public AndPredicate(ReactiveSystemPredicate<B> predicateA,
 ReactiveSystemPredicate<B> predicateB,
 boolean negate)

AndPredicate

public AndPredicate(boolean negate,
 ReactiveSystemPredicate<B>... predicates)

AndPredicate

public AndPredicate(ReactiveSystemPredicate<B>... predicates)

Method Details

getBigraph

public B getBigraph()

Description copied from class: ReactiveSystemPredicate

Get the bigraph used in the predicate. If the predicate is a conditional predicate, the methid returns null.

Specified by:

getBigraph in class ReactiveSystemPredicate<B extends Bigraph<? extends Signature<?>>>

Returns:

the underlying bigraph of the predicate, or null for conditional predicates.

test

public boolean test(B agent)

Concatenates all given predicates with the and operator of the ReactiveSystemPredicate class and evaluates them together.

Note: if the predicate set is empty, true will be returned also.

Specified by:

test in interface Predicate<B extends Bigraph<? extends Signature<?>>>

Specified by:

test in class ReactiveSystemPredicate<B extends Bigraph<? extends Signature<?>>>

Parameters:

agent - the current state of a transition system of a BRS to test the predicate against

Returns:

true, if the consolidated predicates evaluate to true (or predicate list is empty), otherwise false.