BDDFactory.MaxUsedBddNodesStatsCallback (com.github.javabdd 3.0.0 API)

Enclosing class:

BDDFactory

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
```
@FunctionalInterface
public static interface BDDFactory.MaxUsedBddNodesStatsCallback
```
Maximum BDD nodes usage statistics callback.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`void`	`maxUsedBddNodes(BDDFactory.MaxUsedBddNodesStats stats)`	Maximum BDD nodes usage statistics callback.

- Method Detail
  - maxUsedBddNodes
```
void maxUsedBddNodes(BDDFactory.MaxUsedBddNodesStats stats)
```
    Maximum BDD nodes usage statistics callback.
    
    Parameters:
    
    stats - The statistics.