Module org.chocosolver

Package org.chocosolver.solver.constraints.nary.cumulative

Enum Cumulative.Filter

java.lang.Object

java.lang.Enum<Cumulative.Filter>

org.chocosolver.solver.constraints.nary.cumulative.Cumulative.Filter

All Implemented Interfaces:

Serializable, Comparable<Cumulative.Filter>

Enclosing class:

Cumulative

public static enum Cumulative.Filter
extends Enum<Cumulative.Filter>

Filtering algorithms for Cumulative constraint

Enum Constant Summary

Enum Constants

Enum Constant	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)
NAIVETIME	time-table algorithm based on each point in time not idempotent
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

Method Summary

Modifier and Type	Method	Description
abstract CumulFilter	make(int n)	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.

Methods inherited from class java.lang.Enum

clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

HEIGHTS

public static final Cumulative.Filter HEIGHTS

filters height variables only (sweep-based algorithm) idempotent (on the given set of variables only)

TIME

public static final Cumulative.Filter TIME

time-table algorithm based on each point in time not idempotent

NAIVETIME

public static final Cumulative.Filter NAIVETIME

time-table algorithm based on each point in time not idempotent

SWEEP

public static final Cumulative.Filter SWEEP

time-table algorithm based on a sweep line idempotent (on the given set of variables only)

SWEEP_HEI_SORT

public static final Cumulative.Filter SWEEP_HEI_SORT

time-table algorithm based on a sweep line idempotent (on the given set of variables only)

NRJ

public static final Cumulative.Filter NRJ

energetic reasoning to filter not idempotent not enough to ensure correctness (only an additional filtering)

DISJUNCTIVE_TASK_INTERVAL

public static final Cumulative.Filter 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)

DEFAULT

public static final Cumulative.Filter DEFAULT

Combines above filters as a black-box not idempotent

Method Detail

values

public static Cumulative.Filter[] values()

Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:

for (Cumulative.Filter c : Cumulative.Filter.values())
    System.out.println(c);

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static Cumulative.Filter valueOf(String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

IllegalArgumentException - if this enum type has no constant with the specified name

NullPointerException - if the argument is null

make

public abstract CumulFilter make(int n)

Create an instance of the filtering algorithm

Parameters:

n - maximum number of tasks

Returns:

an instance of the filtering algorithm