Module org.chocosolver

Package org.chocosolver.solver.constraints.nary.cumulative

Class TimeCumulFilter

java.lang.Object

org.chocosolver.solver.constraints.nary.cumulative.CumulFilter

org.chocosolver.solver.constraints.nary.cumulative.TimeCumulFilter

public class TimeCumulFilter
extends CumulFilter

Time-based filtering (compute the profile over every point in time)

Author:

Jean-Guillaume Fages

Field Summary

Fields inherited from class org.chocosolver.solver.constraints.nary.cumulative.CumulFilter

nbMaxTasks

Constructor Summary

Constructors

Constructor	Description
TimeCumulFilter(int nbMaxTasks)

Method Summary

Modifier and Type	Method	Description
void	filter(IntVar[] s, IntVar[] d, IntVar[] e, IntVar[] h, IntVar capa, ISet tasks, Propagator<IntVar> aCause)	Filters the cumulative constraint over the subset of tasks induced by tasks
protected void	filterInf(IntVar start, int elb, int dlb, int hlb, int min, int max, int[] time, int capaMax, Propagator<IntVar> aCause)
protected void	filterSup(int sub, IntVar end, int dlb, int hlb, int min, int max, int[] time, int capaMax, Propagator<IntVar> aCause)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TimeCumulFilter

public TimeCumulFilter(int nbMaxTasks)

Method Detail

filter

public void filter(IntVar[] s,
                   IntVar[] d,
                   IntVar[] e,
                   IntVar[] h,
                   IntVar capa,
                   ISet tasks,
                   Propagator<IntVar> aCause)
            throws ContradictionException

Description copied from class: CumulFilter

Filters the cumulative constraint over the subset of tasks induced by tasks

Specified by:

filter in class CumulFilter

Parameters:

s - start variables

d - duration variables

e - end variables

h - height variables

capa - maximum capacity variable

tasks - subset of tasks to filter

aCause - a cumulative propagator

Throws:

ContradictionException

filterInf

protected void filterInf(IntVar start,
                         int elb,
                         int dlb,
                         int hlb,
                         int min,
                         int max,
                         int[] time,
                         int capaMax,
                         Propagator<IntVar> aCause)
                  throws ContradictionException

Throws:

ContradictionException

filterSup

protected void filterSup(int sub,
                         IntVar end,
                         int dlb,
                         int hlb,
                         int min,
                         int max,
                         int[] time,
                         int capaMax,
                         Propagator<IntVar> aCause)
                  throws ContradictionException

Throws:

ContradictionException