java.lang.Object
org.bigraphs.framework.core.reactivesystem.ReactiveSystemPredicate<B>
org.bigraphs.framework.simulation.modelchecking.predicates.SubBigraphMatchPredicate<B>
public class SubBigraphMatchPredicate<B extends Bigraph<? extends Signature<?>>>
extends ReactiveSystemPredicate<B>
Simple predicate implementation that returns true if one bigraph is contained in another (subbigraph matching problem).
Thus, it represents a partial predicate.
A predicate can be created by using the static methods the class provides.
This predicate internally creates a bigraph matcher instance for the concrete bigraph kind automatically.
Therefore, AbstractBigraphMatcher
is used. The class member matcher
is used inside the
test(Bigraph)
method.
- Author:
- Dominik Grzelak
- See Also:
-
Field Summary
Fields inherited from class org.bigraphs.framework.core.reactivesystem.ReactiveSystemPredicate
label, negate
-
Method Summary
Modifier and TypeMethodDescriptionstatic <B extends Bigraph<? extends Signature<?>>>
SubBigraphMatchPredicate<B>create
(B bigraphToMatch) static <B extends Bigraph<? extends Signature<?>>>
SubBigraphMatchPredicate<B>create
(B bigraphToMatch, boolean negate) Get the bigraph used in the predicate.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).Methods inherited from class org.bigraphs.framework.core.reactivesystem.ReactiveSystemPredicate
getLabel, isNegate, setNegate, withLabel
-
Method Details
-
create
public static <B extends Bigraph<? extends Signature<?>>> SubBigraphMatchPredicate<B> create(B bigraphToMatch) -
create
public static <B extends Bigraph<? extends Signature<?>>> SubBigraphMatchPredicate<B> create(B bigraphToMatch, boolean negate) -
getBigraph
Description copied from class:ReactiveSystemPredicate
Get the bigraph used in the predicate. If the predicate is a conditional predicate, the methid returnsnull
.- Specified by:
getBigraph
in classReactiveSystemPredicate<B extends Bigraph<? extends Signature<?>>>
- Returns:
- the underlying bigraph of the predicate, or
null
for conditional predicates.
-
test
Description copied from class:ReactiveSystemPredicate
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).- Specified by:
test
in interfacePredicate<B extends Bigraph<? extends Signature<?>>>
- Specified by:
test
in classReactiveSystemPredicate<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 predicate matches, otherwisefalse
-
getSubBigraphResult
-
getSubBigraphParamResult
-
getBigraphToMatch
-
getContextBigraphResult
-
getSubRedexResult
-