Package | Description |
---|---|
org.chocosolver.solver.constraints | |
org.chocosolver.solver.constraints.nary.circuit |
Modifier and Type | Method and Description |
---|---|
default Constraint |
IIntConstraintFactory.circuit(IntVar[] vars,
int offset,
CircuitConf conf)
Creates a circuit constraint which ensures that
the elements of vars define a covering circuit
where vars[i] = offset+j means that j is the successor of i.
|
Modifier and Type | Field and Description |
---|---|
protected CircuitConf |
PropCircuit_ArboFiltering.conf |
Modifier and Type | Method and Description |
---|---|
static CircuitConf |
CircuitConf.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static CircuitConf[] |
CircuitConf.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Constructor and Description |
---|
PropCircuit_AntiArboFiltering(IntVar[] succs,
int offSet,
CircuitConf conf) |
PropCircuit_ArboFiltering(IntVar[] succs,
int offSet,
CircuitConf conf) |
PropCircuitSCC(IntVar[] succs,
int offSet,
CircuitConf conf) |
Copyright © 2018. All rights reserved.