Class BDDFactory.ReorderStats

java.lang.Object
com.github.javabdd.BDDFactory.ReorderStats
Enclosing class:
BDDFactory

public static class BDDFactory.ReorderStats extends Object
Stores statistics about the last variable reordering.
  • Field Details

    • time

      public long time
    • usednum_before

      public int usednum_before
    • usednum_after

      public int usednum_after
  • Constructor Details

    • ReorderStats

      protected ReorderStats()
  • Method Details

    • gain

      public int gain()
    • toString

      public String toString()
      Overrides:
      toString in class Object