Package 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 the last variable reordering.

Field Summary

Fields

Modifier and Type	Field	Description
long	time
int	usednum_after
int	usednum_before

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ReorderStats()

Method Summary

Modifier and Type	Method	Description
int	gain()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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