Module com.github.javabdd

Package com.github.javabdd

Interface BDDFactory.ResizeStatsCallback

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.ResizeStatsCallback

Node table resize statistics callback.

Method Summary

Modifier and Type	Method	Description
void	resize(int oldsize, int newsize)	Node table resize statistics callback.

Method Details

resize

void resize(int oldsize,
 int newsize)

Node table resize statistics callback.

Parameters:

oldsize - The old node table size.

newsize - The new node table size.