Package com.github.javabdd

Interface BDDFactory.MaxUsedBddNodesStatsCallback

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

Modifier and Type	Method	Description
void	maxUsedBddNodes(BDDFactory.MaxUsedBddNodesStats stats)	Maximum BDD nodes usage statistics callback.

Method Details

maxUsedBddNodes

void maxUsedBddNodes(BDDFactory.MaxUsedBddNodesStats stats)

Maximum BDD nodes usage statistics callback.

Parameters:

stats - The statistics.