Uses of Class
org.bigraphs.framework.simulation.modelchecking.predicates.BigraphIsoPredicate
-
Uses of BigraphIsoPredicate in org.bigraphs.framework.simulation.modelchecking.predicates
Modifier and TypeMethodDescriptionstatic <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)