Package org.bigraphs.framework.simulation.modelchecking

Interface BigraphFilter<B extends Bigraph<? extends Signature<?>>>

Type Parameters:
B -
Functional Interface:
This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
@FunctionalInterface public interface BigraphFilter<B extends Bigraph<? extends Signature<?>>>
Filter interface used by ModelCheckingStrategySupport to post-process the next agent drawn from the worklist.

Users can apply a filter or perform a no-op; a standard no-op filter is provided for that noop().

Author:
Dominik Grzelak

  • Method Summary

    Modifier and Type
    Method
    Description
    B
    apply(B bigraph)
    Applies a filter to the given bigraph.
    static <B extends Bigraph<? extends Signature<?>>>
    BigraphFilter<B>
    noop()
    Default no-op filter (accepts everything).

  • Method Details

    • apply

      B apply(B bigraph)
      Applies a filter to the given bigraph.
      Parameters:
      bigraph - the candidate bigraph
      Returns:
      the original bigraph, or null if it should be discarded

    • noop

      static <B extends Bigraph<? extends Signature<?>>> BigraphFilter<B> noop()
      Default no-op filter (accepts everything).