net.sf.javabdd
Class BDDFactory.ReorderStats

java.lang.Object
  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