Package | Description |
---|---|
org.chocosolver.solver |
A package devoted to Model and resolution tools.
|
org.chocosolver.solver.constraints | |
org.chocosolver.solver.propagation |
Modifier and Type | Method and Description |
---|---|
void |
Model.post(Constraint... cs)
Posts constraints
cs permanently in the constraints network of this :
- add them to the data structure,
- set the fixed idx,
- checks for restrictions |
void |
Model.unpost(Constraint... constraints)
Remove permanently the constraint
c from the constraint network. |
Modifier and Type | Method and Description |
---|---|
void |
Constraint.checkNewStatus(Constraint.Status aStatus)
Check if the new status is not in conflict with the current one
|
void |
Constraint.declareAs(Constraint.Status aStatus,
int idx)
For internal usage only, declare the status of this constraint in the model
and, if need be, its position in the constraint list.
|
void |
Propagator.setActive()
informs that this propagator is now active.
|
void |
Propagator.setPassive()
informs that this propagator is now passive : it holds but no further filtering can occur,
so it is useless to propagate it.
|
void |
Propagator.setReifiedSilent()
informs that this reified propagator may not hold.
|
void |
Propagator.setReifiedTrue()
informs that this reified propagator must hold.
|
Modifier and Type | Method and Description |
---|---|
void |
PropagationEngine.dynamicAddition(boolean permanent,
Propagator... ps)
Add a constraint to the propagation engine
|
void |
PropagationEngine.initialize()
Build up internal structure, if not yet done, in order to allow propagation.
|
Copyright © 2018. All rights reserved.