Uses of Class
org.jacop.util.MDD

Packages that use MDD

Package	Description
org.jacop.constraints
org.jacop.util
org.jacop.util.fsm

Uses of MDD in org.jacop.constraints

Fields in org.jacop.constraints declared as MDD

Modifier and Type	Field and Description
MDD	ExtensionalSupportMDD.mdd It specifies a multiple value decision diagram used by this constraint.

Constructors in org.jacop.constraints with parameters of type MDD

Constructor and Description
ExtensionalSupportMDD(MDD diagram) It creates an extensional constraint.

Uses of MDD in org.jacop.util

Methods in org.jacop.util that return MDD

Modifier and Type	Method and Description
MDD	MDD.reuse(IntVar[] vars) If possible it will return an MDD which reuse an array representation of the current MDD.

Uses of MDD in org.jacop.util.fsm

Methods in org.jacop.util.fsm that return MDD

Modifier and Type	Method and Description
MDD	FSM.transformDirectlyIntoMDD(IntVar[] vars) It generates one by one tuples allowed by a Regular constraint, which are added to the MDD being built.
MDD	FSM.transformIntoMDD(IntVar[] vars) It generates one by one tuples allowed by a Regular constraint, which are added to the MDD being built.