public class TimeCumulFilter extends CumulFilter
Modifier and Type | Field and Description |
---|---|
protected int[] |
time |
aCause, nbMaxTasks
Constructor and Description |
---|
TimeCumulFilter(int nbMaxTasks,
Propagator cause) |
Modifier and Type | Method and Description |
---|---|
void |
filter(IntVar[] s,
IntVar[] d,
IntVar[] e,
IntVar[] h,
IntVar capa,
ISet tasks)
Filters the cumulative constraint over the subset of tasks induced by tasks
|
protected void |
filterInf(IntVar start,
int dlb,
int hlb,
int min,
int max,
int[] time,
int capaMax) |
protected void |
filterSup(IntVar end,
int dlb,
int hlb,
int min,
int max,
int[] time,
int capaMax) |
public TimeCumulFilter(int nbMaxTasks, Propagator cause)
public void filter(IntVar[] s, IntVar[] d, IntVar[] e, IntVar[] h, IntVar capa, ISet tasks) throws ContradictionException
CumulFilter
filter
in class CumulFilter
s
- start variablesd
- duration variablese
- end variablesh
- height variablescapa
- maximum capacity variabletasks
- subset of tasks to filterContradictionException
protected void filterInf(IntVar start, int dlb, int hlb, int min, int max, int[] time, int capaMax) throws ContradictionException
ContradictionException
protected void filterSup(IntVar end, int dlb, int hlb, int min, int max, int[] time, int capaMax) throws ContradictionException
ContradictionException
Copyright © 2015. All rights reserved.