net.sf.javabdd
Class BDDFactory.ReorderStats

java.lang.Object
  extended by net.sf.javabdd.BDDFactory.ReorderStats
Enclosing class:
BDDFactory

public static class BDDFactory.ReorderStats
extends java.lang.Object

Stores statistics about reordering.

Version:
$Id: BDDFactory.ReorderStats.html,v 1.1.2.1 2009/02/16 18:41:06 sya Exp $
Author:
jwhaley

Field Summary
 long time
           
 int usednum_after
           
 int usednum_before
           
 
Method Summary
 int gain()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

time

public long time

usednum_before

public int usednum_before

usednum_after

public int usednum_after
Method Detail

gain

public int gain()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object