Package | Description |
---|---|
org.chocosolver.solver.constraints | |
org.chocosolver.solver.constraints.extension.nary |
Modifier and Type | Method and Description |
---|---|
default Constraint |
IIntConstraintFactory.mddc(IntVar[] vars,
MultivaluedDecisionDiagram MDD)
Create a constraint where solutions (tuples) are encoded by a multi-valued decision diagram.
|
Constructor and Description |
---|
PropLargeMDDC(MultivaluedDecisionDiagram MDD,
IntVar... VARS)
Create a propagator maintaining GAC based on a MDD.
|
Copyright © 2017. All rights reserved.