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

Interface BDDFactory.ReorderStatsCallback

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.ReorderStatsCallback
Variable reorder statistics callback.

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    reorder(BDDFactory.ReorderStats stats, boolean pre)
    Variable reorder statistics callback.

  • Method Details

    • reorder

      void reorder(BDDFactory.ReorderStats stats, boolean pre)
      Variable reorder statistics callback.
      Parameters:
      stats - The statistics.
      pre - Whether this callback is invoked before (true) or after (false) reordering.