Generated on Fri Oct 6 16:26:45 2006 for Gecode/J by doxygen 1.4.7

Scheduling constraints
[Using finite domain integers]


Functions

static synchronized void org::gecode::Gecode.cumulatives (JavaSpace home, VarArray<?extends IntVar > machine, VarArray<?extends IntVar > start, VarArray<?extends IntVar > duration, VarArray<?extends IntVar > end, VarArray<?extends IntVar > height, int[] limit, boolean at_most, IntConLevel icl)
 Post propagators for the cumulatives constraint.
static synchronized void org::gecode::Gecode.cumulatives (JavaSpace home, VarArray<?extends IntVar > machine, VarArray<?extends IntVar > start, VarArray<?extends IntVar > duration, VarArray<?extends IntVar > end, VarArray<?extends IntVar > height, int[] limit, boolean at_most)
 Post propagators for the cumulatives constraint.
static synchronized void org::gecode::Gecode.cumulatives (JavaSpace home, int[] machine, VarArray<?extends IntVar > start, VarArray<?extends IntVar > duration, VarArray<?extends IntVar > end, VarArray<?extends IntVar > height, int[] limit, boolean at_most, IntConLevel icl)
 Post propagators for the cumulatives constraint.
static synchronized void org::gecode::Gecode.cumulatives (JavaSpace home, int[] machine, VarArray<?extends IntVar > start, VarArray<?extends IntVar > duration, VarArray<?extends IntVar > end, VarArray<?extends IntVar > height, int[] limit, boolean at_most)
 Post propagators for the cumulatives constraint.
static synchronized void org::gecode::Gecode.cumulatives (JavaSpace home, VarArray<?extends IntVar > machine, VarArray<?extends IntVar > start, int[] duration, VarArray<?extends IntVar > end, VarArray<?extends IntVar > height, int[] limit, boolean at_most, IntConLevel icl)
 Post propagators for the cumulatives constraint.
static synchronized void org::gecode::Gecode.cumulatives (JavaSpace home, VarArray<?extends IntVar > machine, VarArray<?extends IntVar > start, int[] duration, VarArray<?extends IntVar > end, VarArray<?extends IntVar > height, int[] limit, boolean at_most)
 Post propagators for the cumulatives constraint.
static synchronized void org::gecode::Gecode.cumulatives (JavaSpace home, int[] machine, VarArray<?extends IntVar > start, int[] duration, VarArray<?extends IntVar > end, VarArray<?extends IntVar > height, int[] limit, boolean at_most, IntConLevel icl)
 Post propagators for the cumulatives constraint.
static synchronized void org::gecode::Gecode.cumulatives (JavaSpace home, int[] machine, VarArray<?extends IntVar > start, int[] duration, VarArray<?extends IntVar > end, VarArray<?extends IntVar > height, int[] limit, boolean at_most)
 Post propagators for the cumulatives constraint.
static synchronized void org::gecode::Gecode.cumulatives (JavaSpace home, VarArray<?extends IntVar > machine, VarArray<?extends IntVar > start, VarArray<?extends IntVar > duration, VarArray<?extends IntVar > end, int[] height, int[] limit, boolean at_most, IntConLevel icl)
 Post propagators for the cumulatives constraint.
static synchronized void org::gecode::Gecode.cumulatives (JavaSpace home, VarArray<?extends IntVar > machine, VarArray<?extends IntVar > start, VarArray<?extends IntVar > duration, VarArray<?extends IntVar > end, int[] height, int[] limit, boolean at_most)
 Post propagators for the cumulatives constraint.
static synchronized void org::gecode::Gecode.cumulatives (JavaSpace home, int[] machine, VarArray<?extends IntVar > start, VarArray<?extends IntVar > duration, VarArray<?extends IntVar > end, int[] height, int[] limit, boolean at_most, IntConLevel icl)
 Post propagators for the cumulatives constraint.
static synchronized void org::gecode::Gecode.cumulatives (JavaSpace home, int[] machine, VarArray<?extends IntVar > start, VarArray<?extends IntVar > duration, VarArray<?extends IntVar > end, int[] height, int[] limit, boolean at_most)
 Post propagators for the cumulatives constraint.
static synchronized void org::gecode::Gecode.cumulatives (JavaSpace home, VarArray<?extends IntVar > machine, VarArray<?extends IntVar > start, int[] duration, VarArray<?extends IntVar > end, int[] height, int[] limit, boolean at_most, IntConLevel icl)
 Post propagators for the cumulatives constraint.
static synchronized void org::gecode::Gecode.cumulatives (JavaSpace home, VarArray<?extends IntVar > machine, VarArray<?extends IntVar > start, int[] duration, VarArray<?extends IntVar > end, int[] height, int[] limit, boolean at_most)
 Post propagators for the cumulatives constraint.
static synchronized void org::gecode::Gecode.cumulatives (JavaSpace home, int[] machine, VarArray<?extends IntVar > start, int[] duration, VarArray<?extends IntVar > end, int[] height, int[] limit, boolean at_most, IntConLevel icl)
 Post propagators for the cumulatives constraint.
static synchronized void org::gecode::Gecode.cumulatives (JavaSpace home, int[] machine, VarArray<?extends IntVar > start, int[] duration, VarArray<?extends IntVar > end, int[] height, int[] limit, boolean at_most)
 Post propagators for the cumulatives constraint.
static synchronized void org::gecode::Gecode.producer_consumer (JavaSpace home, VarArray<?extends IntVar > produce_date, int[] produce_amount, VarArray<?extends IntVar > consume_date, int[] consume_amount, int initial, IntConLevel icl)
 Creates propagator for a producer-consumer constraint.
static synchronized void org::gecode::Gecode.producer_consumer (JavaSpace home, VarArray<?extends IntVar > produce_date, int[] produce_amount, VarArray<?extends IntVar > consume_date, int[] consume_amount, int initial)
 Creates propagator for a producer-consumer constraint.
static synchronized void org::gecode::Gecode.cumulative (JavaSpace home, VarArray<?extends IntVar > start, VarArray<?extends IntVar > duration, VarArray<?extends IntVar > height, int limit, boolean at_most, IntConLevel cl)
 Creates propagator for the cumulative constraint.
static synchronized void org::gecode::Gecode.cumulative (JavaSpace home, VarArray<?extends IntVar > start, VarArray<?extends IntVar > duration, VarArray<?extends IntVar > height, int limit, boolean at_most)
 Creates propagator for the cumulative constraint.
static synchronized void org::gecode::Gecode.cumulative (JavaSpace home, VarArray<?extends IntVar > start, VarArray<?extends IntVar > duration, VarArray<?extends IntVar > height, int limit)
 Creates propagator for the cumulative constraint.
static synchronized void org::gecode::Gecode.cumulative (JavaSpace home, VarArray<?extends IntVar > start, int[] duration, VarArray<?extends IntVar > height, int limit, boolean at_most, IntConLevel cl)
 Creates propagator for the cumulative constraint.
static synchronized void org::gecode::Gecode.cumulative (JavaSpace home, VarArray<?extends IntVar > start, int[] duration, VarArray<?extends IntVar > height, int limit, boolean at_most)
 Creates propagator for the cumulative constraint.
static synchronized void org::gecode::Gecode.cumulative (JavaSpace home, VarArray<?extends IntVar > start, int[] duration, VarArray<?extends IntVar > height, int limit)
 Creates propagator for the cumulative constraint.
static synchronized void org::gecode::Gecode.cumulative (JavaSpace home, VarArray<?extends IntVar > start, VarArray<?extends IntVar > duration, int[] height, int limit, boolean at_most, IntConLevel cl)
 Creates propagator for the cumulative constraint.
static synchronized void org::gecode::Gecode.cumulative (JavaSpace home, VarArray<?extends IntVar > start, VarArray<?extends IntVar > duration, int[] height, int limit, boolean at_most)
 Creates propagator for the cumulative constraint.
static synchronized void org::gecode::Gecode.cumulative (JavaSpace home, VarArray<?extends IntVar > start, VarArray<?extends IntVar > duration, int[] height, int limit)
 Creates propagator for the cumulative constraint.
static synchronized void org::gecode::Gecode.cumulative (JavaSpace home, VarArray<?extends IntVar > start, int[] duration, int[] height, int limit, boolean at_most, IntConLevel cl)
 Creates propagator for the cumulative constraint.
static synchronized void org::gecode::Gecode.cumulative (JavaSpace home, VarArray<?extends IntVar > start, int[] duration, int[] height, int limit, boolean at_most)
 Creates propagator for the cumulative constraint.
static synchronized void org::gecode::Gecode.cumulative (JavaSpace home, VarArray<?extends IntVar > start, int[] duration, int[] height, int limit)
 Creates propagator for the cumulative constraint.
static synchronized void org::gecode::Gecode.serialized (JavaSpace home, VarArray<?extends IntVar > start, VarArray<?extends IntVar > duration, IntConLevel cl)
 Creates propagator for the serialized constraint.
static synchronized void org::gecode::Gecode.serialized (JavaSpace home, VarArray<?extends IntVar > start, VarArray<?extends IntVar > duration)
 Creates propagator for the serialized constraint.
static synchronized void org::gecode::Gecode.serialized (JavaSpace home, VarArray<?extends IntVar > start, int[] duration, IntConLevel cl)
 Creates propagator for the serialized constraint.
static synchronized void org::gecode::Gecode.serialized (JavaSpace home, VarArray<?extends IntVar > start, int[] duration)
 Creates propagator for the serialized constraint.

Function Documentation

static synchronized void org.gecode.Gecode.cumulatives ( JavaSpace  home,
VarArray<?extends IntVar >  machine,
VarArray<?extends IntVar >  start,
VarArray<?extends IntVar >  duration,
VarArray<?extends IntVar >  end,
VarArray<?extends IntVar >  height,
int[]  limit,
boolean  at_most,
IntConLevel  icl 
) [static, inherited]

Post propagators for the cumulatives constraint.

This function creates propagators for the cumulatives constraint presented in A new multi-resource cumulatives constraint with negative heights, Nicolas Beldiceanu and Mats Carlsson, Principles and Practice of Constraint Programming 2002.

The constraint models a set of machines and a set of tasks that should be assigned to the machines. The machines have a positive resource limit and the tasks each have a resource usage that can be either positive, negative, or zero. The constraint is enforced over each point in time for a machine where there is at least one task assigned.

The limit for a machine is either the maximum amount available at any given time (at_most = true), or else the least amount to be used (at_most = false).

Parameters:
machine $ machine_i $ is the machine assigned to task $ i $
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
end $ end_i $ is the end date assigned to task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit $ limit_r $ is the amount of resource available for machine $ r $
at_most at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true) or greater than the limit (at_most = false)
icl Supports value-consistency only (icl = ICL_VAL, default).
Exceptions:
Int.ArgumentSizeMismatch thrown if the sizes of the arguments representing tasks does not match.
Int.NumericalOverflow thrown if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 696 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulatives ( JavaSpace  home,
VarArray<?extends IntVar >  machine,
VarArray<?extends IntVar >  start,
VarArray<?extends IntVar >  duration,
VarArray<?extends IntVar >  end,
VarArray<?extends IntVar >  height,
int[]  limit,
boolean  at_most 
) [static, inherited]

Post propagators for the cumulatives constraint.

This function creates propagators for the cumulatives constraint presented in A new multi-resource cumulatives constraint with negative heights, Nicolas Beldiceanu and Mats Carlsson, Principles and Practice of Constraint Programming 2002.

The constraint models a set of machines and a set of tasks that should be assigned to the machines. The machines have a positive resource limit and the tasks each have a resource usage that can be either positive, negative, or zero. The constraint is enforced over each point in time for a machine where there is at least one task assigned.

The limit for a machine is either the maximum amount available at any given time (at_most = true), or else the least amount to be used (at_most = false).

Parameters:
machine $ machine_i $ is the machine assigned to task $ i $
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
end $ end_i $ is the end date assigned to task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit $ limit_r $ is the amount of resource available for machine $ r $
at_most at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true) or greater than the limit (at_most = false)
icl Supports value-consistency only (icl = ICL_VAL, default).
Exceptions:
Int.ArgumentSizeMismatch thrown if the sizes of the arguments representing tasks does not match.
Int.NumericalOverflow thrown if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 739 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulatives ( JavaSpace  home,
int[]  machine,
VarArray<?extends IntVar >  start,
VarArray<?extends IntVar >  duration,
VarArray<?extends IntVar >  end,
VarArray<?extends IntVar >  height,
int[]  limit,
boolean  at_most,
IntConLevel  icl 
) [static, inherited]

Post propagators for the cumulatives constraint.

Post propagators for the cumulatives constraint.

This function creates propagators for the cumulatives constraint presented in A new multi-resource cumulatives constraint with negative heights, Nicolas Beldiceanu and Mats Carlsson, Principles and Practice of Constraint Programming 2002.

The constraint models a set of machines and a set of tasks that should be assigned to the machines. The machines have a positive resource limit and the tasks each have a resource usage that can be either positive, negative, or zero. The constraint is enforced over each point in time for a machine where there is at least one task assigned.

The limit for a machine is either the maximum amount available at any given time (at_most = true), or else the least amount to be used (at_most = false).

Parameters:
machine $ machine_i $ is the machine assigned to task $ i $
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
end $ end_i $ is the end date assigned to task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit $ limit_r $ is the amount of resource available for machine $ r $
at_most at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true) or greater than the limit (at_most = false)
icl Supports value-consistency only (icl = ICL_VAL, default).
Exceptions:
Int.ArgumentSizeMismatch thrown if the sizes of the arguments representing tasks does not match.
Int.NumericalOverflow thrown if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 747 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulatives ( JavaSpace  home,
int[]  machine,
VarArray<?extends IntVar >  start,
VarArray<?extends IntVar >  duration,
VarArray<?extends IntVar >  end,
VarArray<?extends IntVar >  height,
int[]  limit,
boolean  at_most 
) [static, inherited]

Post propagators for the cumulatives constraint.

Post propagators for the cumulatives constraint.

This function creates propagators for the cumulatives constraint presented in A new multi-resource cumulatives constraint with negative heights, Nicolas Beldiceanu and Mats Carlsson, Principles and Practice of Constraint Programming 2002.

The constraint models a set of machines and a set of tasks that should be assigned to the machines. The machines have a positive resource limit and the tasks each have a resource usage that can be either positive, negative, or zero. The constraint is enforced over each point in time for a machine where there is at least one task assigned.

The limit for a machine is either the maximum amount available at any given time (at_most = true), or else the least amount to be used (at_most = false).

Parameters:
machine $ machine_i $ is the machine assigned to task $ i $
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
end $ end_i $ is the end date assigned to task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit $ limit_r $ is the amount of resource available for machine $ r $
at_most at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true) or greater than the limit (at_most = false)
icl Supports value-consistency only (icl = ICL_VAL, default).
Exceptions:
Int.ArgumentSizeMismatch thrown if the sizes of the arguments representing tasks does not match.
Int.NumericalOverflow thrown if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 755 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulatives ( JavaSpace  home,
VarArray<?extends IntVar >  machine,
VarArray<?extends IntVar >  start,
int[]  duration,
VarArray<?extends IntVar >  end,
VarArray<?extends IntVar >  height,
int[]  limit,
boolean  at_most,
IntConLevel  icl 
) [static, inherited]

Post propagators for the cumulatives constraint.

Post propagators for the cumulatives constraint.

This function creates propagators for the cumulatives constraint presented in A new multi-resource cumulatives constraint with negative heights, Nicolas Beldiceanu and Mats Carlsson, Principles and Practice of Constraint Programming 2002.

The constraint models a set of machines and a set of tasks that should be assigned to the machines. The machines have a positive resource limit and the tasks each have a resource usage that can be either positive, negative, or zero. The constraint is enforced over each point in time for a machine where there is at least one task assigned.

The limit for a machine is either the maximum amount available at any given time (at_most = true), or else the least amount to be used (at_most = false).

Parameters:
machine $ machine_i $ is the machine assigned to task $ i $
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
end $ end_i $ is the end date assigned to task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit $ limit_r $ is the amount of resource available for machine $ r $
at_most at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true) or greater than the limit (at_most = false)
icl Supports value-consistency only (icl = ICL_VAL, default).
Exceptions:
Int.ArgumentSizeMismatch thrown if the sizes of the arguments representing tasks does not match.
Int.NumericalOverflow thrown if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 763 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulatives ( JavaSpace  home,
VarArray<?extends IntVar >  machine,
VarArray<?extends IntVar >  start,
int[]  duration,
VarArray<?extends IntVar >  end,
VarArray<?extends IntVar >  height,
int[]  limit,
boolean  at_most 
) [static, inherited]

Post propagators for the cumulatives constraint.

Post propagators for the cumulatives constraint.

This function creates propagators for the cumulatives constraint presented in A new multi-resource cumulatives constraint with negative heights, Nicolas Beldiceanu and Mats Carlsson, Principles and Practice of Constraint Programming 2002.

The constraint models a set of machines and a set of tasks that should be assigned to the machines. The machines have a positive resource limit and the tasks each have a resource usage that can be either positive, negative, or zero. The constraint is enforced over each point in time for a machine where there is at least one task assigned.

The limit for a machine is either the maximum amount available at any given time (at_most = true), or else the least amount to be used (at_most = false).

Parameters:
machine $ machine_i $ is the machine assigned to task $ i $
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
end $ end_i $ is the end date assigned to task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit $ limit_r $ is the amount of resource available for machine $ r $
at_most at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true) or greater than the limit (at_most = false)
icl Supports value-consistency only (icl = ICL_VAL, default).
Exceptions:
Int.ArgumentSizeMismatch thrown if the sizes of the arguments representing tasks does not match.
Int.NumericalOverflow thrown if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 771 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulatives ( JavaSpace  home,
int[]  machine,
VarArray<?extends IntVar >  start,
int[]  duration,
VarArray<?extends IntVar >  end,
VarArray<?extends IntVar >  height,
int[]  limit,
boolean  at_most,
IntConLevel  icl 
) [static, inherited]

Post propagators for the cumulatives constraint.

Post propagators for the cumulatives constraint.

This function creates propagators for the cumulatives constraint presented in A new multi-resource cumulatives constraint with negative heights, Nicolas Beldiceanu and Mats Carlsson, Principles and Practice of Constraint Programming 2002.

The constraint models a set of machines and a set of tasks that should be assigned to the machines. The machines have a positive resource limit and the tasks each have a resource usage that can be either positive, negative, or zero. The constraint is enforced over each point in time for a machine where there is at least one task assigned.

The limit for a machine is either the maximum amount available at any given time (at_most = true), or else the least amount to be used (at_most = false).

Parameters:
machine $ machine_i $ is the machine assigned to task $ i $
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
end $ end_i $ is the end date assigned to task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit $ limit_r $ is the amount of resource available for machine $ r $
at_most at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true) or greater than the limit (at_most = false)
icl Supports value-consistency only (icl = ICL_VAL, default).
Exceptions:
Int.ArgumentSizeMismatch thrown if the sizes of the arguments representing tasks does not match.
Int.NumericalOverflow thrown if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 779 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulatives ( JavaSpace  home,
int[]  machine,
VarArray<?extends IntVar >  start,
int[]  duration,
VarArray<?extends IntVar >  end,
VarArray<?extends IntVar >  height,
int[]  limit,
boolean  at_most 
) [static, inherited]

Post propagators for the cumulatives constraint.

Post propagators for the cumulatives constraint.

This function creates propagators for the cumulatives constraint presented in A new multi-resource cumulatives constraint with negative heights, Nicolas Beldiceanu and Mats Carlsson, Principles and Practice of Constraint Programming 2002.

The constraint models a set of machines and a set of tasks that should be assigned to the machines. The machines have a positive resource limit and the tasks each have a resource usage that can be either positive, negative, or zero. The constraint is enforced over each point in time for a machine where there is at least one task assigned.

The limit for a machine is either the maximum amount available at any given time (at_most = true), or else the least amount to be used (at_most = false).

Parameters:
machine $ machine_i $ is the machine assigned to task $ i $
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
end $ end_i $ is the end date assigned to task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit $ limit_r $ is the amount of resource available for machine $ r $
at_most at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true) or greater than the limit (at_most = false)
icl Supports value-consistency only (icl = ICL_VAL, default).
Exceptions:
Int.ArgumentSizeMismatch thrown if the sizes of the arguments representing tasks does not match.
Int.NumericalOverflow thrown if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 787 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulatives ( JavaSpace  home,
VarArray<?extends IntVar >  machine,
VarArray<?extends IntVar >  start,
VarArray<?extends IntVar >  duration,
VarArray<?extends IntVar >  end,
int[]  height,
int[]  limit,
boolean  at_most,
IntConLevel  icl 
) [static, inherited]

Post propagators for the cumulatives constraint.

Post propagators for the cumulatives constraint.

This function creates propagators for the cumulatives constraint presented in A new multi-resource cumulatives constraint with negative heights, Nicolas Beldiceanu and Mats Carlsson, Principles and Practice of Constraint Programming 2002.

The constraint models a set of machines and a set of tasks that should be assigned to the machines. The machines have a positive resource limit and the tasks each have a resource usage that can be either positive, negative, or zero. The constraint is enforced over each point in time for a machine where there is at least one task assigned.

The limit for a machine is either the maximum amount available at any given time (at_most = true), or else the least amount to be used (at_most = false).

Parameters:
machine $ machine_i $ is the machine assigned to task $ i $
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
end $ end_i $ is the end date assigned to task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit $ limit_r $ is the amount of resource available for machine $ r $
at_most at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true) or greater than the limit (at_most = false)
icl Supports value-consistency only (icl = ICL_VAL, default).
Exceptions:
Int.ArgumentSizeMismatch thrown if the sizes of the arguments representing tasks does not match.
Int.NumericalOverflow thrown if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 795 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulatives ( JavaSpace  home,
VarArray<?extends IntVar >  machine,
VarArray<?extends IntVar >  start,
VarArray<?extends IntVar >  duration,
VarArray<?extends IntVar >  end,
int[]  height,
int[]  limit,
boolean  at_most 
) [static, inherited]

Post propagators for the cumulatives constraint.

Post propagators for the cumulatives constraint.

This function creates propagators for the cumulatives constraint presented in A new multi-resource cumulatives constraint with negative heights, Nicolas Beldiceanu and Mats Carlsson, Principles and Practice of Constraint Programming 2002.

The constraint models a set of machines and a set of tasks that should be assigned to the machines. The machines have a positive resource limit and the tasks each have a resource usage that can be either positive, negative, or zero. The constraint is enforced over each point in time for a machine where there is at least one task assigned.

The limit for a machine is either the maximum amount available at any given time (at_most = true), or else the least amount to be used (at_most = false).

Parameters:
machine $ machine_i $ is the machine assigned to task $ i $
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
end $ end_i $ is the end date assigned to task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit $ limit_r $ is the amount of resource available for machine $ r $
at_most at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true) or greater than the limit (at_most = false)
icl Supports value-consistency only (icl = ICL_VAL, default).
Exceptions:
Int.ArgumentSizeMismatch thrown if the sizes of the arguments representing tasks does not match.
Int.NumericalOverflow thrown if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 803 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulatives ( JavaSpace  home,
int[]  machine,
VarArray<?extends IntVar >  start,
VarArray<?extends IntVar >  duration,
VarArray<?extends IntVar >  end,
int[]  height,
int[]  limit,
boolean  at_most,
IntConLevel  icl 
) [static, inherited]

Post propagators for the cumulatives constraint.

Post propagators for the cumulatives constraint.

This function creates propagators for the cumulatives constraint presented in A new multi-resource cumulatives constraint with negative heights, Nicolas Beldiceanu and Mats Carlsson, Principles and Practice of Constraint Programming 2002.

The constraint models a set of machines and a set of tasks that should be assigned to the machines. The machines have a positive resource limit and the tasks each have a resource usage that can be either positive, negative, or zero. The constraint is enforced over each point in time for a machine where there is at least one task assigned.

The limit for a machine is either the maximum amount available at any given time (at_most = true), or else the least amount to be used (at_most = false).

Parameters:
machine $ machine_i $ is the machine assigned to task $ i $
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
end $ end_i $ is the end date assigned to task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit $ limit_r $ is the amount of resource available for machine $ r $
at_most at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true) or greater than the limit (at_most = false)
icl Supports value-consistency only (icl = ICL_VAL, default).
Exceptions:
Int.ArgumentSizeMismatch thrown if the sizes of the arguments representing tasks does not match.
Int.NumericalOverflow thrown if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 811 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulatives ( JavaSpace  home,
int[]  machine,
VarArray<?extends IntVar >  start,
VarArray<?extends IntVar >  duration,
VarArray<?extends IntVar >  end,
int[]  height,
int[]  limit,
boolean  at_most 
) [static, inherited]

Post propagators for the cumulatives constraint.

Post propagators for the cumulatives constraint.

This function creates propagators for the cumulatives constraint presented in A new multi-resource cumulatives constraint with negative heights, Nicolas Beldiceanu and Mats Carlsson, Principles and Practice of Constraint Programming 2002.

The constraint models a set of machines and a set of tasks that should be assigned to the machines. The machines have a positive resource limit and the tasks each have a resource usage that can be either positive, negative, or zero. The constraint is enforced over each point in time for a machine where there is at least one task assigned.

The limit for a machine is either the maximum amount available at any given time (at_most = true), or else the least amount to be used (at_most = false).

Parameters:
machine $ machine_i $ is the machine assigned to task $ i $
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
end $ end_i $ is the end date assigned to task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit $ limit_r $ is the amount of resource available for machine $ r $
at_most at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true) or greater than the limit (at_most = false)
icl Supports value-consistency only (icl = ICL_VAL, default).
Exceptions:
Int.ArgumentSizeMismatch thrown if the sizes of the arguments representing tasks does not match.
Int.NumericalOverflow thrown if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 819 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulatives ( JavaSpace  home,
VarArray<?extends IntVar >  machine,
VarArray<?extends IntVar >  start,
int[]  duration,
VarArray<?extends IntVar >  end,
int[]  height,
int[]  limit,
boolean  at_most,
IntConLevel  icl 
) [static, inherited]

Post propagators for the cumulatives constraint.

Post propagators for the cumulatives constraint.

This function creates propagators for the cumulatives constraint presented in A new multi-resource cumulatives constraint with negative heights, Nicolas Beldiceanu and Mats Carlsson, Principles and Practice of Constraint Programming 2002.

The constraint models a set of machines and a set of tasks that should be assigned to the machines. The machines have a positive resource limit and the tasks each have a resource usage that can be either positive, negative, or zero. The constraint is enforced over each point in time for a machine where there is at least one task assigned.

The limit for a machine is either the maximum amount available at any given time (at_most = true), or else the least amount to be used (at_most = false).

Parameters:
machine $ machine_i $ is the machine assigned to task $ i $
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
end $ end_i $ is the end date assigned to task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit $ limit_r $ is the amount of resource available for machine $ r $
at_most at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true) or greater than the limit (at_most = false)
icl Supports value-consistency only (icl = ICL_VAL, default).
Exceptions:
Int.ArgumentSizeMismatch thrown if the sizes of the arguments representing tasks does not match.
Int.NumericalOverflow thrown if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 827 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulatives ( JavaSpace  home,
VarArray<?extends IntVar >  machine,
VarArray<?extends IntVar >  start,
int[]  duration,
VarArray<?extends IntVar >  end,
int[]  height,
int[]  limit,
boolean  at_most 
) [static, inherited]

Post propagators for the cumulatives constraint.

Post propagators for the cumulatives constraint.

This function creates propagators for the cumulatives constraint presented in A new multi-resource cumulatives constraint with negative heights, Nicolas Beldiceanu and Mats Carlsson, Principles and Practice of Constraint Programming 2002.

The constraint models a set of machines and a set of tasks that should be assigned to the machines. The machines have a positive resource limit and the tasks each have a resource usage that can be either positive, negative, or zero. The constraint is enforced over each point in time for a machine where there is at least one task assigned.

The limit for a machine is either the maximum amount available at any given time (at_most = true), or else the least amount to be used (at_most = false).

Parameters:
machine $ machine_i $ is the machine assigned to task $ i $
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
end $ end_i $ is the end date assigned to task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit $ limit_r $ is the amount of resource available for machine $ r $
at_most at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true) or greater than the limit (at_most = false)
icl Supports value-consistency only (icl = ICL_VAL, default).
Exceptions:
Int.ArgumentSizeMismatch thrown if the sizes of the arguments representing tasks does not match.
Int.NumericalOverflow thrown if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 835 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulatives ( JavaSpace  home,
int[]  machine,
VarArray<?extends IntVar >  start,
int[]  duration,
VarArray<?extends IntVar >  end,
int[]  height,
int[]  limit,
boolean  at_most,
IntConLevel  icl 
) [static, inherited]

Post propagators for the cumulatives constraint.

Post propagators for the cumulatives constraint.

This function creates propagators for the cumulatives constraint presented in A new multi-resource cumulatives constraint with negative heights, Nicolas Beldiceanu and Mats Carlsson, Principles and Practice of Constraint Programming 2002.

The constraint models a set of machines and a set of tasks that should be assigned to the machines. The machines have a positive resource limit and the tasks each have a resource usage that can be either positive, negative, or zero. The constraint is enforced over each point in time for a machine where there is at least one task assigned.

The limit for a machine is either the maximum amount available at any given time (at_most = true), or else the least amount to be used (at_most = false).

Parameters:
machine $ machine_i $ is the machine assigned to task $ i $
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
end $ end_i $ is the end date assigned to task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit $ limit_r $ is the amount of resource available for machine $ r $
at_most at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true) or greater than the limit (at_most = false)
icl Supports value-consistency only (icl = ICL_VAL, default).
Exceptions:
Int.ArgumentSizeMismatch thrown if the sizes of the arguments representing tasks does not match.
Int.NumericalOverflow thrown if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 843 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulatives ( JavaSpace  home,
int[]  machine,
VarArray<?extends IntVar >  start,
int[]  duration,
VarArray<?extends IntVar >  end,
int[]  height,
int[]  limit,
boolean  at_most 
) [static, inherited]

Post propagators for the cumulatives constraint.

Post propagators for the cumulatives constraint.

This function creates propagators for the cumulatives constraint presented in A new multi-resource cumulatives constraint with negative heights, Nicolas Beldiceanu and Mats Carlsson, Principles and Practice of Constraint Programming 2002.

The constraint models a set of machines and a set of tasks that should be assigned to the machines. The machines have a positive resource limit and the tasks each have a resource usage that can be either positive, negative, or zero. The constraint is enforced over each point in time for a machine where there is at least one task assigned.

The limit for a machine is either the maximum amount available at any given time (at_most = true), or else the least amount to be used (at_most = false).

Parameters:
machine $ machine_i $ is the machine assigned to task $ i $
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
end $ end_i $ is the end date assigned to task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit $ limit_r $ is the amount of resource available for machine $ r $
at_most at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true) or greater than the limit (at_most = false)
icl Supports value-consistency only (icl = ICL_VAL, default).
Exceptions:
Int.ArgumentSizeMismatch thrown if the sizes of the arguments representing tasks does not match.
Int.NumericalOverflow thrown if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 851 of file Gecode.java.

static synchronized void org.gecode.Gecode.producer_consumer ( JavaSpace  home,
VarArray<?extends IntVar >  produce_date,
int[]  produce_amount,
VarArray<?extends IntVar >  consume_date,
int[]  consume_amount,
int  initial,
IntConLevel  icl 
) [static, inherited]

Creates propagator for a producer-consumer constraint.

This function will create a propagator that models a producer-consumer constraint, using the translation of such constraints into cumulatives due to Helmut Simoni and Trijntje Cornelissens ("Modelling Producer/Consumer Constraints", Principles and Practice of Constraint Progamming 1995, Cassis, France).

Parameters:
produce_date $ produce\_date_i $ is the date of event $ i $.
produce_amount $ produce\_amount_i $ is the amount produced by event $ i $.
consume_date $ consume\_date_j $ is the date of event $ j $.
consume_amount $ consume\_amount_j $ is the amount produced by event $ j $.
initial is the amount available at the start
icl Supports value consistency only (cl = ICL_VAL, default)
Todo:
Make amounts variable, requires changes to cumulatives.
xception Int.ArgumentSizeMismatch Raised if the sizes of the arguments representing producer events or the sizes of the arguments representing consumer events does not match. xception Int.NumericalOverflow Raised if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 885 of file Gecode.java.

static synchronized void org.gecode.Gecode.producer_consumer ( JavaSpace  home,
VarArray<?extends IntVar >  produce_date,
int[]  produce_amount,
VarArray<?extends IntVar >  consume_date,
int[]  consume_amount,
int  initial 
) [static, inherited]

Creates propagator for a producer-consumer constraint.

This function will create a propagator that models a producer-consumer constraint, using the translation of such constraints into cumulatives due to Helmut Simoni and Trijntje Cornelissens ("Modelling Producer/Consumer Constraints", Principles and Practice of Constraint Progamming 1995, Cassis, France).

Parameters:
produce_date $ produce\_date_i $ is the date of event $ i $.
produce_amount $ produce\_amount_i $ is the amount produced by event $ i $.
consume_date $ consume\_date_j $ is the date of event $ j $.
consume_amount $ consume\_amount_j $ is the amount produced by event $ j $.
initial is the amount available at the start
icl Supports value consistency only (cl = ICL_VAL, default)
Todo:
Make amounts variable, requires changes to cumulatives.
xception Int.ArgumentSizeMismatch Raised if the sizes of the arguments representing producer events or the sizes of the arguments representing consumer events does not match. xception Int.NumericalOverflow Raised if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 919 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulative ( JavaSpace  home,
VarArray<?extends IntVar >  start,
VarArray<?extends IntVar >  duration,
VarArray<?extends IntVar >  height,
int  limit,
boolean  at_most,
IntConLevel  cl 
) [static, inherited]

Creates propagator for the cumulative constraint.

This function will create a propagator for the cumulative constraint, by translating it into a cumulatives constraint.

Parameters:
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit limit_r is the amount of resource available
at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true, default) or greater than the limit (at_most = false)
icl Supports value-consistency only (cl = ICL_VAL, default).
xception Int.ArgumentSizeMismatch Raised if the sizes of the arguments representing tasks does not match. xception Int.NumericalOverflow Raised if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 946 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulative ( JavaSpace  home,
VarArray<?extends IntVar >  start,
VarArray<?extends IntVar >  duration,
VarArray<?extends IntVar >  height,
int  limit,
boolean  at_most 
) [static, inherited]

Creates propagator for the cumulative constraint.

This function will create a propagator for the cumulative constraint, by translating it into a cumulatives constraint.

Parameters:
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit limit_r is the amount of resource available
at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true, default) or greater than the limit (at_most = false)
icl Supports value-consistency only (cl = ICL_VAL, default).
xception Int.ArgumentSizeMismatch Raised if the sizes of the arguments representing tasks does not match. xception Int.NumericalOverflow Raised if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 973 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulative ( JavaSpace  home,
VarArray<?extends IntVar >  start,
VarArray<?extends IntVar >  duration,
VarArray<?extends IntVar >  height,
int  limit 
) [static, inherited]

Creates propagator for the cumulative constraint.

This function will create a propagator for the cumulative constraint, by translating it into a cumulatives constraint.

Parameters:
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit limit_r is the amount of resource available
at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true, default) or greater than the limit (at_most = false)
icl Supports value-consistency only (cl = ICL_VAL, default).
xception Int.ArgumentSizeMismatch Raised if the sizes of the arguments representing tasks does not match. xception Int.NumericalOverflow Raised if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 1000 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulative ( JavaSpace  home,
VarArray<?extends IntVar >  start,
int[]  duration,
VarArray<?extends IntVar >  height,
int  limit,
boolean  at_most,
IntConLevel  cl 
) [static, inherited]

Creates propagator for the cumulative constraint.

Creates propagator for the cumulative constraint.

This function will create a propagator for the cumulative constraint, by translating it into a cumulatives constraint.

Parameters:
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit limit_r is the amount of resource available
at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true, default) or greater than the limit (at_most = false)
icl Supports value-consistency only (cl = ICL_VAL, default).
xception Int.ArgumentSizeMismatch Raised if the sizes of the arguments representing tasks does not match. xception Int.NumericalOverflow Raised if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 1009 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulative ( JavaSpace  home,
VarArray<?extends IntVar >  start,
int[]  duration,
VarArray<?extends IntVar >  height,
int  limit,
boolean  at_most 
) [static, inherited]

Creates propagator for the cumulative constraint.

Creates propagator for the cumulative constraint.

This function will create a propagator for the cumulative constraint, by translating it into a cumulatives constraint.

Parameters:
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit limit_r is the amount of resource available
at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true, default) or greater than the limit (at_most = false)
icl Supports value-consistency only (cl = ICL_VAL, default).
xception Int.ArgumentSizeMismatch Raised if the sizes of the arguments representing tasks does not match. xception Int.NumericalOverflow Raised if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 1018 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulative ( JavaSpace  home,
VarArray<?extends IntVar >  start,
int[]  duration,
VarArray<?extends IntVar >  height,
int  limit 
) [static, inherited]

Creates propagator for the cumulative constraint.

Creates propagator for the cumulative constraint.

This function will create a propagator for the cumulative constraint, by translating it into a cumulatives constraint.

Parameters:
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit limit_r is the amount of resource available
at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true, default) or greater than the limit (at_most = false)
icl Supports value-consistency only (cl = ICL_VAL, default).
xception Int.ArgumentSizeMismatch Raised if the sizes of the arguments representing tasks does not match. xception Int.NumericalOverflow Raised if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 1027 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulative ( JavaSpace  home,
VarArray<?extends IntVar >  start,
VarArray<?extends IntVar >  duration,
int[]  height,
int  limit,
boolean  at_most,
IntConLevel  cl 
) [static, inherited]

Creates propagator for the cumulative constraint.

Creates propagator for the cumulative constraint.

This function will create a propagator for the cumulative constraint, by translating it into a cumulatives constraint.

Parameters:
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit limit_r is the amount of resource available
at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true, default) or greater than the limit (at_most = false)
icl Supports value-consistency only (cl = ICL_VAL, default).
xception Int.ArgumentSizeMismatch Raised if the sizes of the arguments representing tasks does not match. xception Int.NumericalOverflow Raised if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 1036 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulative ( JavaSpace  home,
VarArray<?extends IntVar >  start,
VarArray<?extends IntVar >  duration,
int[]  height,
int  limit,
boolean  at_most 
) [static, inherited]

Creates propagator for the cumulative constraint.

Creates propagator for the cumulative constraint.

This function will create a propagator for the cumulative constraint, by translating it into a cumulatives constraint.

Parameters:
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit limit_r is the amount of resource available
at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true, default) or greater than the limit (at_most = false)
icl Supports value-consistency only (cl = ICL_VAL, default).
xception Int.ArgumentSizeMismatch Raised if the sizes of the arguments representing tasks does not match. xception Int.NumericalOverflow Raised if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 1045 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulative ( JavaSpace  home,
VarArray<?extends IntVar >  start,
VarArray<?extends IntVar >  duration,
int[]  height,
int  limit 
) [static, inherited]

Creates propagator for the cumulative constraint.

Creates propagator for the cumulative constraint.

This function will create a propagator for the cumulative constraint, by translating it into a cumulatives constraint.

Parameters:
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit limit_r is the amount of resource available
at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true, default) or greater than the limit (at_most = false)
icl Supports value-consistency only (cl = ICL_VAL, default).
xception Int.ArgumentSizeMismatch Raised if the sizes of the arguments representing tasks does not match. xception Int.NumericalOverflow Raised if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 1054 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulative ( JavaSpace  home,
VarArray<?extends IntVar >  start,
int[]  duration,
int[]  height,
int  limit,
boolean  at_most,
IntConLevel  cl 
) [static, inherited]

Creates propagator for the cumulative constraint.

Creates propagator for the cumulative constraint.

This function will create a propagator for the cumulative constraint, by translating it into a cumulatives constraint.

Parameters:
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit limit_r is the amount of resource available
at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true, default) or greater than the limit (at_most = false)
icl Supports value-consistency only (cl = ICL_VAL, default).
xception Int.ArgumentSizeMismatch Raised if the sizes of the arguments representing tasks does not match. xception Int.NumericalOverflow Raised if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 1063 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulative ( JavaSpace  home,
VarArray<?extends IntVar >  start,
int[]  duration,
int[]  height,
int  limit,
boolean  at_most 
) [static, inherited]

Creates propagator for the cumulative constraint.

Creates propagator for the cumulative constraint.

This function will create a propagator for the cumulative constraint, by translating it into a cumulatives constraint.

Parameters:
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit limit_r is the amount of resource available
at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true, default) or greater than the limit (at_most = false)
icl Supports value-consistency only (cl = ICL_VAL, default).
xception Int.ArgumentSizeMismatch Raised if the sizes of the arguments representing tasks does not match. xception Int.NumericalOverflow Raised if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 1072 of file Gecode.java.

static synchronized void org.gecode.Gecode.cumulative ( JavaSpace  home,
VarArray<?extends IntVar >  start,
int[]  duration,
int[]  height,
int  limit 
) [static, inherited]

Creates propagator for the cumulative constraint.

Creates propagator for the cumulative constraint.

This function will create a propagator for the cumulative constraint, by translating it into a cumulatives constraint.

Parameters:
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
height $ height_i $ is the height is the amount of resources consumed by task $ i $
limit limit_r is the amount of resource available
at_most tells if the amount of resources used for a machine should be less than the limit (at_most = true, default) or greater than the limit (at_most = false)
icl Supports value-consistency only (cl = ICL_VAL, default).
xception Int.ArgumentSizeMismatch Raised if the sizes of the arguments representing tasks does not match. xception Int.NumericalOverflow Raised if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 1081 of file Gecode.java.

static synchronized void org.gecode.Gecode.serialized ( JavaSpace  home,
VarArray<?extends IntVar >  start,
VarArray<?extends IntVar >  duration,
IntConLevel  cl 
) [static, inherited]

Creates propagator for the serialized constraint.

This function will create a propagator for the serialized constraint, by translating it into a cumulative constraint.

Parameters:
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
icl Supports value-consistency only (cl = ICL_VAL, default).
xception Int.ArgumentSizeMismatch Raised if the sizes of the arguments representing tasks does not match. xception Int.NumericalOverflow Raised if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 1102 of file Gecode.java.

static synchronized void org.gecode.Gecode.serialized ( JavaSpace  home,
VarArray<?extends IntVar >  start,
VarArray<?extends IntVar >  duration 
) [static, inherited]

Creates propagator for the serialized constraint.

This function will create a propagator for the serialized constraint, by translating it into a cumulative constraint.

Parameters:
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
icl Supports value-consistency only (cl = ICL_VAL, default).
xception Int.ArgumentSizeMismatch Raised if the sizes of the arguments representing tasks does not match. xception Int.NumericalOverflow Raised if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 1123 of file Gecode.java.

static synchronized void org.gecode.Gecode.serialized ( JavaSpace  home,
VarArray<?extends IntVar >  start,
int[]  duration,
IntConLevel  cl 
) [static, inherited]

Creates propagator for the serialized constraint.

Creates propagator for the serialized constraint.

This function will create a propagator for the serialized constraint, by translating it into a cumulative constraint.

Parameters:
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
icl Supports value-consistency only (cl = ICL_VAL, default).
xception Int.ArgumentSizeMismatch Raised if the sizes of the arguments representing tasks does not match. xception Int.NumericalOverflow Raised if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 1132 of file Gecode.java.

static synchronized void org.gecode.Gecode.serialized ( JavaSpace  home,
VarArray<?extends IntVar >  start,
int[]  duration 
) [static, inherited]

Creates propagator for the serialized constraint.

Creates propagator for the serialized constraint.

This function will create a propagator for the serialized constraint, by translating it into a cumulative constraint.

Parameters:
start $ start_i $ is the start date assigned to task $ i $
duration $ duration_i $ is the duration of task $ i $
icl Supports value-consistency only (cl = ICL_VAL, default).
xception Int.ArgumentSizeMismatch Raised if the sizes of the arguments representing tasks does not match. xception Int.NumericalOverflow Raised if any numerical argument is larger than Limits.Int.int_max or less than Limits.Int.int_min.

Definition at line 1141 of file Gecode.java.