net.sf.javabdd
Class BDDFactory.ReorderStats

java.lang.Object
  net.sf.javabdd.BDDFactory.ReorderStats

Enclosing class:

BDDFactory

public static class BDDFactory.ReorderStats
extends Object

Stores statistics about reordering.

Version:

$Id: BDDFactory.java 476 2007-03-06 06:08:40Z joewhaley $

Author:

jwhaley

Field Summary

long	time
int	usednum_after
int	usednum_before

Constructor Summary

protected

BDDFactory.ReorderStats()

Method Summary

int	gain()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, 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

Constructor Detail

BDDFactory.ReorderStats

protected BDDFactory.ReorderStats()

Method Detail

gain

public int gain()

toString

public String toString()

Overrides:

toString in class Object