Module com.github.javabdd
Package com.github.javabdd

Interface BDDFactory.SaturationDebugCallback<T>

Type Parameters:
T - The BDD representation type.
Enclosing class:
BDDFactory
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 static interface BDDFactory.SaturationDebugCallback<T>
Saturation callback with debug information, notably the BDDs before and after applying a transition.

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    invoke(int transition, T before, T after)
    The callback function that is invoked after every transition application performed by saturation.

  • Method Details

    • invoke

      void invoke(int transition, T before, T after)
      The callback function that is invoked after every transition application performed by saturation.
      Parameters:
      transition - The index of the transition that was applied.
      before - The BDD to which the transition was applied.
      after - The resulting BDD after applying the transition.