Module org.chocosolver

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

Class DefaultCumulFilter

java.lang.Object

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

org.chocosolver.solver.constraints.nary.cumulative.DefaultCumulFilter

public class DefaultCumulFilter
extends CumulFilter

Default filtering for cumulative

Author:

Jean-Guillaume Fages

Field Summary

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

nbMaxTasks

Constructor Summary

Constructors

Constructor	Description
DefaultCumulFilter(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

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultCumulFilter

public DefaultCumulFilter(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