Uses of Class
jline.api.mdd.MddLocalMatrix

Packages that use MddLocalMatrix

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

Uses of MddLocalMatrix in jline.api.mdd

Fields in jline.api.mdd declared as MddLocalMatrix

Modifier and Type	Field	Description
final MddLocalMatrix[]	MddEvent.W	Local matrices at the levels named by lev.

Methods in jline.api.mdd that return MddLocalMatrix

Modifier and Type	Method	Description
MddLocalMatrix	MddLocalMatrix.Builder.build()
static MddLocalMatrix	MddLocalMatrix.identity(int dim)	The identity of the given order, used for a level an event does not touch.

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

Modifier	Constructor	Description
	MddEvent(int a, int b, int[] lev, MddLocalMatrix[] W)