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

Uses of BDDFactory.ContinuousStats in com.github.javabdd

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

Modifier and Type	Field	Description
protected BDDFactory.ContinuousStats	BDDFactory.continuousstats	Singleton object for continuous statistics.

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

Modifier and Type	Method	Description
BDDFactory.ContinuousStats	BDDFactory.getContinuousStats()	Return the current continuous statistics for this BDD factory.