Uses of Class
com.github.javabdd.BDDFactory.MaxUsedBddNodesStats

Uses of BDDFactory.MaxUsedBddNodesStats in com.github.javabdd

Fields in com.github.javabdd declared as BDDFactory.MaxUsedBddNodesStats

Modifier and Type	Field	Description
protected BDDFactory.MaxUsedBddNodesStats	BDDFactory.maxusedbddnodesstats	Singleton object for maximum used BDD nodes statistics.

Methods in com.github.javabdd that return BDDFactory.MaxUsedBddNodesStats

Modifier and Type	Method	Description
BDDFactory.MaxUsedBddNodesStats	BDDFactory.getMaxUsedBddNodesStats()	Return the current maximum used BDD nodes statistics for this BDD factory.