BDDFactory.CacheStatsCallback (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.CacheStatsCallback
```
Operator cache statistics callback.

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  void cache(BDDFactory.CacheStats stats)
  Operator cache statistics callback.

- Method Detail
  - cache
```
void cache(BDDFactory.CacheStats stats)
```
    Operator cache statistics callback.
    
    Parameters:
    
    stats - The statistics.