Uses of Interface
jline.api.mdd.MddNextState

Packages that use MddNextState

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

Uses of MddNextState in jline.api.mdd

Fields in jline.api.mdd declared as MddNextState

Modifier and Type	Field	Description
MddNextState	MddDescriptor.nextfun	Successor function over local indices, for Mdd_reachset.

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

Modifier and Type	Method	Description
static MDD	Mdd_reachset.mdd_reachset(int[] domain, int[] init, MddNextState nextfun)	Generate and store the reachability set into a quasi-reduced ordered MDD.