KALIS_DISJUNCTIONS
|
Description
|
Disjunctions propagation type for unary resource constraints
|
||
|
Type
|
Integer, read only
|
||
|
Values
|
|
||
|
Notes
|
This constant is passed to the
set_resource_attributes procedure to specify the type of propagation to be used for filtering the resource constraint for unary resources. With KALIS_DISJUNCTIONS the resource constraint will be implemented as n*(n-1)/2 disjunctions between pairs of tasks. This algorithm is more powerful than the KALIS_TIMETABLING algorithm but less powerful than the algorithm KALIS_TASK_INTERVALS that may lead to a stronger pruning at the cost of additional computation overhead. This algorithm is generally competitive for small to medium size problems where the number of tasks using the resource is not overly large.
|
||
|
See also
|