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

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

Enclosing class:

BDDFactory
```
public static class BDDFactory.GCStats
extends Object
```
Stores statistics about garbage collections.

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  int freenodes
  
  int nodes
  
  int num
  
  long sumtime
  
  long time
- Constructor Summary
  
  Constructors
  Modifier Constructor Description
  
  protected GCStats()
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  String toString()
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

nodes
```
public int nodes
```

freenodes
```
public int freenodes
```

time
```
public long time
```

sumtime
```
public long sumtime
```

num
```
public int num
```

Constructor Detail
- GCStats
```
protected GCStats()
```

Method Detail
- toString
```
public String toString()
```
  Overrides:
  
  toString in class Object