Uses of Class
jline.api.mdd.MddMcdResult

Packages that use MddMcdResult

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

Uses of MddMcdResult in jline.api.mdd

Methods in jline.api.mdd that return MddMcdResult

Modifier and Type	Method	Description
static MddMcdResult	Mdd_mcd.mdd_mcd(MddStruct mdds, MddDescriptor desc)	Run the aggregation with the default level-iteration knobs.
static MddMcdResult	Mdd_mcd.mdd_mcd(MddStruct mdds, MddDescriptor desc, MddMcdOptions options)	Approximate stationary measures by decision-diagram-guided aggregation.