java.lang.Object
org.bigraphs.framework.core.reactivesystem.ReactiveSystemPredicate<B>
- Direct Known Subclasses:
AndPredicate
,BigraphIsoPredicate
,OrPredicate
,SubBigraphMatchPredicate
public abstract class ReactiveSystemPredicate<B extends Bigraph<? extends Signature<?>>>
extends Object
implements Predicate<B>, HasLabel
Predicate interface for the reaction graph.
Allows to test if some conditions hold while executing a BRS. The predicates itself are bigraphs.
Internally a bigraph matcher instance for the concrete bigraph kind must be created.
- Author:
- Dominik Grzelak
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionabstract B
Get the bigraph used in the predicate.getLabel()
boolean
isNegate()
void
setNegate
(boolean negate) abstract boolean
This method is responsible to test the current state of a transition system of a BRS with the predicate at hand (which is provided by the concrete subclass).<T extends ReactiveSystemPredicate<B>>
T
-
Field Details
-
negate
protected boolean negate -
label
-
-
Constructor Details
-
ReactiveSystemPredicate
public ReactiveSystemPredicate()
-
-
Method Details
-
getBigraph
Get the bigraph used in the predicate. If the predicate is a conditional predicate, the methid returnsnull
.- Returns:
- the underlying bigraph of the predicate, or
null
for conditional predicates.
-
test
This method is responsible to test the current state of a transition system of a BRS with the predicate at hand (which is provided by the concrete subclass). -
isNegate
public boolean isNegate() -
setNegate
public void setNegate(boolean negate) -
getLabel
-
withLabel
-