Uses of Class
org.jacop.util.MDD
Packages that use MDD
Package
Description
-
Uses of MDD in org.jacop.constraints
Fields in org.jacop.constraints declared as MDDModifier and TypeFieldDescriptionExtensionalSupportMDD.mdd
It specifies a multiple value decision diagram used by this constraint.Constructors in org.jacop.constraints with parameters of type MDDModifierConstructorDescriptionExtensionalSupportMDD
(MDD diagram) It creates an extensional constraint. -
Uses of MDD in org.jacop.constraints.regular
Methods in org.jacop.constraints.regular with parameters of type MDDModifier and TypeMethodDescriptionprivate void
Regular.initializeARRAY
(MDD mdd) Initialization phase of the algorithm. -
Uses of MDD in org.jacop.examples.fd.crosswords
Fields in org.jacop.examples.fd.crosswords with type parameters of type MDD -
Uses of MDD in org.jacop.util
Methods in org.jacop.util that return MDD -
Uses of MDD in org.jacop.util.fsm
Methods in org.jacop.util.fsm that return MDDModifier and TypeMethodDescriptionFSM.transformDirectlyIntoMDD
(IntVar[] vars) It generates one by one tuples allowed by a Regular constraint, which are added to the MDD being built.FSM.transformIntoMDD
(IntVar[] vars) It generates one by one tuples allowed by a Regular constraint, which are added to the MDD being built.Methods in org.jacop.util.fsm with parameters of type MDDModifier and TypeMethodDescriptionprivate void
FSM.recursiveCall
(int prevSuc, int level, int stateNumber, IntervalDomain[][][] outarc, int[] tuple, MDD result)