Module org.chocosolver

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

Class DisjunctiveTaskIntervalFilter

java.lang.Object

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

org.chocosolver.solver.constraints.nary.cumulative.DisjunctiveTaskIntervalFilter

public class DisjunctiveTaskIntervalFilter
extends CumulFilter

Author:

Jean-Guillaume FAGES

Field Summary

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

nbMaxTasks

Constructor Summary

Constructors

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

DisjunctiveTaskIntervalFilter

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