Uses of Class
org.bigraphs.framework.simulation.modelchecking.predicates.SubBigraphMatchPredicate
-
Uses of SubBigraphMatchPredicate in org.bigraphs.framework.simulation.modelchecking.predicates
Modifier and TypeMethodDescriptionstatic <B extends Bigraph<? extends Signature<?>>>
SubBigraphMatchPredicate<B>SubBigraphMatchPredicate.create
(B bigraphToMatch) static <B extends Bigraph<? extends Signature<?>>>
SubBigraphMatchPredicate<B>SubBigraphMatchPredicate.create
(B bigraphToMatch, boolean negate)