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 Considering that it needs to initialize the array of graph States - stateLevels, and, thus, it needs to know the actual number of the states on each level I found nothing better then run the initialization phase with the complete NxN array of states and then copy the useful ones into a final array (which is ugly) -
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)