public class SweepCumulFilter extends CumulFilter
Modifier and Type | Class and Description |
---|---|
static class |
SweepCumulFilter.Event |
Modifier and Type | Field and Description |
---|---|
protected int[] |
dlb |
protected static int |
ECP |
protected int[] |
elb |
protected int[] |
eub |
protected Comparator<SweepCumulFilter.Event> |
eventComparator |
protected SweepCumulFilter.Event[] |
events |
protected boolean |
FIXPOINT |
protected int[] |
hlb |
protected int[] |
map |
protected int |
nbEvents |
protected static int |
PRU |
protected static int |
SCP |
protected int[] |
slb |
protected ArraySort<SweepCumulFilter.Event> |
sort |
protected int[] |
sub |
protected ISet |
tasksToUSe |
protected gnu.trove.list.array.TIntArrayList |
temp |
protected gnu.trove.list.array.TIntArrayList |
tprune |
aCause, nbMaxTasks
Constructor and Description |
---|
SweepCumulFilter(int n,
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 |
generateMinEvents(int nbT) |
protected void |
pruneMax(IntVar[] e) |
protected void |
pruneMin(IntVar[] s) |
protected void |
removeNullDurations(IntVar[] d,
ISet tasks) |
protected boolean |
sweep(IntVar capamax,
IntVar[] h,
int nbT) |
protected final int[] slb
protected final int[] sub
protected final int[] elb
protected final int[] eub
protected final int[] dlb
protected final int[] hlb
protected static final int PRU
protected static final int SCP
protected static final int ECP
protected final SweepCumulFilter.Event[] events
protected int nbEvents
protected final int[] map
protected final ISet tasksToUSe
protected boolean FIXPOINT
protected gnu.trove.list.array.TIntArrayList temp
protected gnu.trove.list.array.TIntArrayList tprune
protected ArraySort<SweepCumulFilter.Event> sort
protected Comparator<SweepCumulFilter.Event> eventComparator
public SweepCumulFilter(int n, 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 pruneMin(IntVar[] s) throws ContradictionException
ContradictionException
protected void pruneMax(IntVar[] e) throws ContradictionException
ContradictionException
protected boolean sweep(IntVar capamax, IntVar[] h, int nbT) throws ContradictionException
ContradictionException
protected void generateMinEvents(int nbT)
Copyright © 2015. All rights reserved.