public class TimeCumulFilter extends CumulFilter
nbMaxTasks
Constructor and Description |
---|
TimeCumulFilter(int nbMaxTasks) |
Modifier and Type | Method and 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
|
protected void |
filterInf(IntVar start,
int elb,
int dlb,
int hlb,
int min,
int max,
int[] time,
int capaMax,
Propagator<IntVar> aCause) |
protected void |
filterSup(int sub,
IntVar end,
int dlb,
int hlb,
int min,
int max,
int[] time,
int capaMax,
Propagator<IntVar> aCause) |
public void filter(IntVar[] s, IntVar[] d, IntVar[] e, IntVar[] h, IntVar capa, ISet tasks, Propagator<IntVar> aCause) throws ContradictionException
CumulFilter
filter
in class CumulFilter
s
- start variablesd
- duration variablese
- end variablesh
- height variablescapa
- maximum capacity variabletasks
- subset of tasks to filteraCause
- a cumulative propagatorContradictionException
protected void filterInf(IntVar start, int elb, int dlb, int hlb, int min, int max, int[] time, int capaMax, Propagator<IntVar> aCause) throws ContradictionException
ContradictionException
protected void filterSup(int sub, IntVar end, int dlb, int hlb, int min, int max, int[] time, int capaMax, Propagator<IntVar> aCause) throws ContradictionException
ContradictionException
Copyright © 2018. All rights reserved.