Uses of Class
org.chocosolver.util.objects.graphs.MultivaluedDecisionDiagram
-
Packages that use MultivaluedDecisionDiagram Package Description org.chocosolver.solver.constraints org.chocosolver.solver.constraints.extension.nary -
-
Uses of MultivaluedDecisionDiagram in org.chocosolver.solver.constraints
Methods in org.chocosolver.solver.constraints with parameters of type MultivaluedDecisionDiagram Modifier and Type Method Description default Constraint
IIntConstraintFactory. mddc(IntVar[] vars, MultivaluedDecisionDiagram MDD)
Create a constraint where solutions (tuples) are encoded by a multi-valued decision diagram. -
Uses of MultivaluedDecisionDiagram in org.chocosolver.solver.constraints.extension.nary
Constructors in org.chocosolver.solver.constraints.extension.nary with parameters of type MultivaluedDecisionDiagram Constructor Description PropLargeMDDC(MultivaluedDecisionDiagram MDD, IntVar... VARS)
Create a propagator maintaining GAC based on a MDD.
-