Uses of Class
jline.api.mdd.MddMcdOptions

Packages that use MddMcdOptions

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

Uses of MddMcdOptions in jline.api.mdd

Methods in jline.api.mdd with parameters of type MddMcdOptions

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