Uses of Class
org.bigraphs.framework.simulation.modelchecking.predicates.BigraphIsoPredicate

Packages that use BigraphIsoPredicate

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

Uses of BigraphIsoPredicate in org.bigraphs.framework.simulation.modelchecking.predicates

Methods in org.bigraphs.framework.simulation.modelchecking.predicates that return BigraphIsoPredicate

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