public static enum Cumulative.Filter extends Enum<Cumulative.Filter>
Enum Constant and Description |
---|
DEFAULT
Combines above filters as a black-box
not idempotent
|
DISJUNCTIVE_TASK_INTERVAL
energetic reasoning to filter disjunctive constraint
Only propagated on variable subsets of size < 30
not idempotent
not enough to ensure correctness (only an additional filtering)
|
HEIGHTS
filters height variables only (sweep-based algorithm)
idempotent (on the given set of variables only)
|
NRJ
energetic reasoning to filter
not idempotent
not enough to ensure correctness (only an additional filtering)
|
SWEEP
time-table algorithm based on a sweep line
idempotent (on the given set of variables only)
|
SWEEP_HEI_SORT
time-table algorithm based on a sweep line
idempotent (on the given set of variables only)
|
TIME
time-table algorithm based on each point in time
not idempotent
|
Modifier and Type | Method and Description |
---|---|
abstract CumulFilter |
make(int n,
Propagator<IntVar> cause)
Create an instance of the filtering algorithm
|
static Cumulative.Filter |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static Cumulative.Filter[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final Cumulative.Filter HEIGHTS
public static final Cumulative.Filter TIME
public static final Cumulative.Filter SWEEP
public static final Cumulative.Filter SWEEP_HEI_SORT
public static final Cumulative.Filter NRJ
public static final Cumulative.Filter DISJUNCTIVE_TASK_INTERVAL
public static final Cumulative.Filter DEFAULT
public static Cumulative.Filter[] values()
for (Cumulative.Filter c : Cumulative.Filter.values()) System.out.println(c);
public static Cumulative.Filter valueOf(String name)
name
- the name of the enum constant to be returned.IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is nullpublic abstract CumulFilter make(int n, Propagator<IntVar> cause)
n
- maximum number of taskscause
- cause of filteringCopyright © 2017. All rights reserved.