Uses of Class
jline.api.mdd.MddLocalMatrix.Builder

Packages that use MddLocalMatrix.Builder

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

Uses of MddLocalMatrix.Builder in jline.api.mdd

Methods in jline.api.mdd that return MddLocalMatrix.Builder

Modifier and Type	Method	Description
MddLocalMatrix.Builder	MddLocalMatrix.Builder.add(int i, int j, double value)	Accumulate value into entry (i,j).