Package | Description |
---|---|
org.chocosolver.solver.constraints | |
org.chocosolver.solver.constraints.nary.sum |
Modifier and Type | Field and Description |
---|---|
protected PropagatorPriority |
Propagator.priority
Priority of this propagator.
|
Modifier and Type | Method and Description |
---|---|
PropagatorPriority |
Constraint.computeMaxPriority() |
static PropagatorPriority |
PropagatorPriority.get(int prio) |
PropagatorPriority |
Propagator.getPriority() |
static PropagatorPriority |
PropagatorPriority.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static PropagatorPriority[] |
PropagatorPriority.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Constructor and Description |
---|
Propagator(V[] vars,
PropagatorPriority priority,
boolean reactToFineEvt)
Creates a new propagator to filter the domains of vars.
|
Propagator(V[] vars,
PropagatorPriority priority,
boolean reactToFineEvt,
boolean swapOnPassivate)
Creates a new propagator to filter the domains of vars.
|
Modifier and Type | Method and Description |
---|---|
protected static PropagatorPriority |
PropSum.computePriority(int nbvars)
Compute the priority of the propagator wrt the number of involved variables
|
Copyright © 2018. All rights reserved.