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:

  • 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()
      Description copied from class: ReactiveSystemPredicate
      Get the bigraph used in the predicate. If the predicate is a conditional predicate, the methid returns null.
      Specified by:
      getBigraph in class ReactiveSystemPredicate<B extends Bigraph<? extends Signature<?>>>
      Returns:
      the underlying bigraph of the predicate, or null for conditional predicates.

    • test

      public boolean test(B agent)
      Description copied from class: ReactiveSystemPredicate
      This method is responsible to test the current state of a transition system of a BRS with the predicate at hand (which is provided by the concrete subclass).
      Specified by:
      test in interface Predicate<B extends Bigraph<? extends Signature<?>>>
      Specified by:
      test in class ReactiveSystemPredicate<B extends Bigraph<? extends Signature<?>>>
      Parameters:
      agent - the current state of a transition system of a BRS to test the predicate against
      Returns:
      true if the predicate matches, otherwise false

    • getBigraphToMatch

      public B getBigraphToMatch()