BDDFactory.ReorderStats (com.github.javabdd 2.0.0 API)

java.lang.Object
- com.github.javabdd.BDDFactory.ReorderStats

Enclosing class:: BDDFactory

public static class BDDFactory.ReorderStats
extends Object

Stores statistics about 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
  
  All Methods Instance Methods Concrete Methods
  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 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