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

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

java.lang.Object

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

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

All Implemented Interfaces:

Predicate<B>, HasLabel

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:

• SubBigraphMatchPredicate

Field Summary

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

label, negate

Method Summary

Modifier and Type	Method	Description
static <B extends Bigraph<? extends Signature<?>>> BigraphIsoPredicate<B>	create(B bigraphToMatch)
static <B extends Bigraph<? extends Signature<?>>> BigraphIsoPredicate<B>	create(B bigraphToMatch, boolean negate)
B	getBigraph()
B	getBigraphToMatch()
boolean	test(B agent)

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

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

public B getBigraph()

Specified by:

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

test

public boolean test(B agent)

Specified by:

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

Specified by:

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

getBigraphToMatch

public B getBigraphToMatch()