org.metacsp.framework

Enum ConstraintSolver.OPTIONS

java.lang.Object

java.lang.Enum<ConstraintSolver.OPTIONS>

org.metacsp.framework.ConstraintSolver.OPTIONS

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<ConstraintSolver.OPTIONS>

Enclosing class:

ConstraintSolver

public static enum ConstraintSolver.OPTIONS
extends java.lang.Enum<ConstraintSolver.OPTIONS>

General class options. Options currently available:

• AUTO_PROPAGATE: if set, the constraint solver will call (user implemented) propagate method automatically. Set MANUAL_PROPAGATE if propagations must be dealt with in a more sophisticated way (e.g., incremental propagators). Default is false.
• MANUAL_PROPAGATE: if set, the constraint solver will NOT call (user implemented) propagate method automatically. Set AUTO_PROPAGATE if propagation should happen always in the same way. Default is false.
• NO_PROP_ON_VAR_CREATION: if set, the constraint solver will NOT call (user implemented) propagate method automatically when variables are created. This is useful with AUTO_PROPAGATE, so that propagation is automatic, but only when constraints are added. Default is false (propagation occurs when variables are created).
• DOMAINS_AUTO_INSTANTIATED: if set, the constraint solver will not check whether domains are instantiated before propagation. Default is false.

Enum Constant Summary

Enum Constants

Enum Constant and Description
AUTO_PROPAGATE
DOMAINS_AUTO_INSTANTIATED
DOMAINS_MANUALLY_INSTANTIATED
MANUAL_PROPAGATE
NO_PROP_ON_VAR_CREATION

Method Summary

Modifier and Type	Method and Description
static ConstraintSolver.OPTIONS	valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static ConstraintSolver.OPTIONS[]	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

AUTO_PROPAGATE

public static final ConstraintSolver.OPTIONS AUTO_PROPAGATE

NO_PROP_ON_VAR_CREATION

public static final ConstraintSolver.OPTIONS NO_PROP_ON_VAR_CREATION

MANUAL_PROPAGATE

public static final ConstraintSolver.OPTIONS MANUAL_PROPAGATE

DOMAINS_AUTO_INSTANTIATED

public static final ConstraintSolver.OPTIONS DOMAINS_AUTO_INSTANTIATED

DOMAINS_MANUALLY_INSTANTIATED

public static final ConstraintSolver.OPTIONS DOMAINS_MANUALLY_INSTANTIATED

Method Detail

values

public static ConstraintSolver.OPTIONS[] 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 (ConstraintSolver.OPTIONS c : ConstraintSolver.OPTIONS.values())
    System.out.println(c);

Returns:

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

valueOf

public static ConstraintSolver.OPTIONS valueOf(java.lang.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:

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

java.lang.NullPointerException - if the argument is null