Uses of Class
org.jacop.util.MDD
-
Packages that use MDD Package Description org.jacop.constraints org.jacop.constraints.regular org.jacop.examples.fd.crosswords 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 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 Description ExtensionalSupportMDD(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 MDD Modifier and Type Method Description private 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 Modifier and Type Field Description (package private) java.util.Map<java.lang.Integer,MDD>
CrossWord. mdds
-
Uses of MDD in org.jacop.util
Methods in org.jacop.util that return MDD Modifier and Type Method 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 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.Methods in org.jacop.util.fsm with parameters of type MDD Modifier and Type Method Description private void
FSM. recursiveCall(int prevSuc, int level, int stateNumber, IntervalDomain[][][] outarc, int[] tuple, MDD result)
-