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 Detail

      • 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.