Class SweepHeiSortCumulFilter
- java.lang.Object
-
- org.chocosolver.solver.constraints.nary.cumulative.CumulFilter
-
- org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter
-
- org.chocosolver.solver.constraints.nary.cumulative.SweepHeiSortCumulFilter
-
public class SweepHeiSortCumulFilter extends SweepCumulFilter
Alternative implementation of Sweep-based Time-Table for cumulative The set of variables to be pruned is sorted by decreasing heights, not time- 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 SweepHeiSortCumulFilter(int n)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected boolean
checkSort(IntVar[] h, int nbT)
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 tasksprotected void
generateMinEvents(int nbT)
protected boolean
sweep(IntVar capamax, IntVar[] h, int nbT, Propagator<IntVar> aCause)
-
Methods inherited from class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter
pruneMax, pruneMin, removeNullDurations
-
-
-
-
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- Overrides:
filter
in classSweepCumulFilter
- Parameters:
s
- start variablesd
- duration variablese
- end variablesh
- height variablescapa
- maximum capacity variabletasks
- subset of tasks to filteraCause
- a cumulative propagator- Throws:
ContradictionException
-
sweep
protected boolean sweep(IntVar capamax, IntVar[] h, int nbT, Propagator<IntVar> aCause) throws ContradictionException
- Overrides:
sweep
in classSweepCumulFilter
- Throws:
ContradictionException
-
generateMinEvents
protected void generateMinEvents(int nbT)
- Overrides:
generateMinEvents
in classSweepCumulFilter
-
checkSort
protected boolean checkSort(IntVar[] h, int nbT)
-
-