Module org.chocosolver

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

Class CumulFilter

java.lang.Object

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

Direct Known Subclasses:

DefaultCumulFilter, DisjunctiveTaskIntervalFilter, NaiveTimeCumulFilter, NRJCumulFilter, SweepCumulFilter, TimeCumulFilter

public abstract class CumulFilter
extends Object

Class able to filter a subset of tasks for the cumulative constraint

Author:

Jean-Guillaume Fages

Field Summary

Fields

Modifier and Type	Field	Description
protected int	nbMaxTasks

Constructor Summary

Constructors

Constructor	Description
CumulFilter(int nbMaxTasks)	An object which can filter subset of tasks for the cumulative constraint

Method Summary

Modifier and Type	Method	Description
abstract 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

Field Detail

nbMaxTasks

protected int nbMaxTasks

Constructor Detail

CumulFilter

public CumulFilter(int nbMaxTasks)

An object which can filter subset of tasks for the cumulative constraint

Parameters:

nbMaxTasks - maximum number of tasks

Method Detail

filter

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

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

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