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

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

java.lang.Object

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

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

All Implemented Interfaces:

Predicate<B>, HasLabel

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:

• BigraphIsoPredicate

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<?>>> SubBigraphMatchPredicate<B>	create(B bigraphToMatch)
static <B extends Bigraph<? extends Signature<?>>> SubBigraphMatchPredicate<B>	create(B bigraphToMatch, boolean negate)
B	getBigraph()
B	getBigraphToMatch()
B	getContextBigraphResult()
B	getSubBigraphParamResult()
B	getSubBigraphResult()
B	getSubRedexResult()
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<?>>>
SubBigraphMatchPredicate<B> create(B bigraphToMatch)

create

public static <B extends Bigraph<? extends Signature<?>>>
SubBigraphMatchPredicate<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<?>>>

getSubBigraphResult

public B getSubBigraphResult()

getSubBigraphParamResult

public B getSubBigraphParamResult()

getBigraphToMatch

public B getBigraphToMatch()

getContextBigraphResult

public B getContextBigraphResult()

getSubRedexResult

public B getSubRedexResult()