com.github.javabdd

Class BDDFactory.ReorderStats

java.lang.Object

com.github.javabdd.BDDFactory.ReorderStats

Enclosing class:

BDDFactory

public static class BDDFactory.ReorderStats
extends Object

Stores statistics about reordering.

Version:

$Id: BDDFactory.java 480 2010-11-16 01:29:49Z robimalik $

Author:

jwhaley

Field Summary

Fields

Modifier and Type	Field and Description
long	time
int	usednum_after
int	usednum_before

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ReorderStats()

Method Summary

Modifier and Type	Method and Description
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

ReorderStats

protected ReorderStats()

Method Detail

gain

public int gain()

toString

public String toString()

Overrides:

toString in class Object