Uses of Class
jline.api.mdd.MddStats

Packages that use MddStats

Package	Description
jline.api.mdd	Decision-diagram state-space storage and Miner-Ciardo-Donatelli aggregation.

Uses of MddStats in jline.api.mdd

Fields in jline.api.mdd declared as MddStats

Modifier and Type	Field	Description
final MddStats	MddClosedQnResult.stats	MDD storage statistics of the reachable set.

Methods in jline.api.mdd that return MddStats

Modifier and Type	Method	Description
MddStats	MDD.stats()	Storage description of the current set; only reachable nodes are counted.

Constructors in jline.api.mdd with parameters of type MddStats

Modifier	Constructor	Description
	MddClosedQnResult(MDD mdd, Matrix Q, Matrix pi, int[][] states, double[] QLen, double[] U, double[] X, MddStats stats, double timeReach, double timeGen, double timeSolve, double timeMetrics)