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
org.chocosolver.util.objects.graphs

Uses of MultivaluedDecisionDiagram in org.chocosolver.solver.constraints

Methods in org.chocosolver.solver.constraints with parameters of type MultivaluedDecisionDiagram

Modifier and Type	Method and Description
static Constraint	IntConstraintFactory.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 and Description
PropLargeMDDC(MultivaluedDecisionDiagram MDD, IntVar... VARS) Create a propagator maintaining GAC based on a MDD.

Uses of MultivaluedDecisionDiagram in org.chocosolver.util.objects.graphs

Methods in org.chocosolver.util.objects.graphs that return MultivaluedDecisionDiagram

Modifier and Type	Method and Description
MultivaluedDecisionDiagram	MultivaluedDecisionDiagram.duplicate() Duplicate the current MDD