Uses of Class
jline.api.mdd.MddServiceLaw

Packages that use MddServiceLaw

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

Uses of MddServiceLaw in jline.api.mdd

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

Modifier and Type	Method	Description
static MddDescriptor	Mdd_descriptor.mdd_descriptor(double[] mu, double[][] P, double[] servers, int N, MddServiceLaw[] proc, String[] sched)	Build the descriptor.
static MddDescriptor	Mdd_ps.mdd_ps(double[] mu, double[][] P, double[] servers, int N, MddServiceLaw[] proc)	Build the descriptor.