Module org.chocosolver

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

Class HeightCumulFilter

java.lang.Object

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

org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter

org.chocosolver.solver.constraints.nary.cumulative.HeightCumulFilter

public class HeightCumulFilter
extends SweepCumulFilter

Filtering (sweep-based) algorithm to filter task maximum heights

Since:

16/10/13

Author:

Jean-Guillaume Fages, Thierry Petit

Nested Class Summary

Nested classes/interfaces inherited from class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter

SweepCumulFilter.Event

Field Summary

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

dlb, ECP, elb, eub, eventComparator, events, FIXPOINT, hlb, map, nbEvents, PRU, SCP, slb, sort, sub, tasksToUSe, temp, tprune

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

nbMaxTasks

Constructor Summary

Constructors

Constructor	Description
HeightCumulFilter(int n)

Method Summary

Modifier and Type	Method	Description
protected void	generateMinEvents(int nbT)
protected void	pruneMax(IntVar[] e)
protected void	pruneMin(IntVar[] s)
protected boolean	sweep(IntVar capamax, IntVar[] h, int nbT, Propagator<IntVar> aCause)

Methods inherited from class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter

filter, pruneMax, pruneMin, removeNullDurations

Methods inherited from class java.lang.Object

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

Constructor Detail

HeightCumulFilter

public HeightCumulFilter(int n)

Method Detail

pruneMin

protected void pruneMin(IntVar[] s)
                 throws ContradictionException

Throws:

ContradictionException

pruneMax

protected void pruneMax(IntVar[] e)
                 throws ContradictionException

Throws:

ContradictionException

sweep

protected boolean sweep(IntVar capamax,
                        IntVar[] h,
                        int nbT,
                        Propagator<IntVar> aCause)
                 throws ContradictionException

Overrides:

sweep in class SweepCumulFilter

Throws:

ContradictionException

generateMinEvents

protected void generateMinEvents(int nbT)

Overrides:

generateMinEvents in class SweepCumulFilter