java.lang.Object
org.bigraphs.framework.core.reactivesystem.ReactiveSystemPredicate<B>
org.bigraphs.framework.simulation.modelchecking.predicates.BigraphIsoPredicate<B>
public class BigraphIsoPredicate<B extends Bigraph<? extends Signature<?>>>
extends ReactiveSystemPredicate<B>
Predicate implementation that returns
true
if two bigraphs are isomorphic (i.e., structurally equivalent).
Thus, it represents a complete predicate.
A predicate can be created by using the static methods the class provides.
Bigraph isomorphism is checked using the canonical string encoding.
- 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<?>>>
BigraphIsoPredicate<B>create
(B bigraphToMatch) static <B extends Bigraph<? extends Signature<?>>>
BigraphIsoPredicate<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<?>>> BigraphIsoPredicate<B> create(B bigraphToMatch) -
create
public static <B extends Bigraph<? extends Signature<?>>> BigraphIsoPredicate<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
-
getBigraphToMatch
-