Generated on Thu Nov 2 14:49:40 2006 for Gecode/J by doxygen 1.5.0
org.gecode.GecodeEnumConstants

org.gecode.GecodeEnumConstants Interface Reference
[Interfacing to Gecode/J]

List of all members.

Detailed Description

Constant collection.

This interface brings all the enum-values used into a single namespace.

Definition at line 32 of file GecodeEnumConstants.java.

Static Public Attributes

static final IntRelType IRT_EQ = IntRelType.IRT_EQ
 Equality.
static final IntRelType IRT_NQ = IntRelType.IRT_NQ
 Disequality.
static final IntRelType IRT_LQ = IntRelType.IRT_LQ
 Less or equal.
static final IntRelType IRT_LE = IntRelType.IRT_LE
 Less.
static final IntRelType IRT_GQ = IntRelType.IRT_GQ
 Greater or equal.
static final IntRelType IRT_GR = IntRelType.IRT_GR
 Greater.
static final IntConLevel ICL_VAL = IntConLevel.ICL_VAL
 Value constiency.
static final IntConLevel ICL_BND = IntConLevel.ICL_BND
 Bounds consistency.
static final IntConLevel ICL_DOM = IntConLevel.ICL_DOM
 Domain consitency.
static final IntConLevel ICL_DEF = IntConLevel.ICL_DEF
 Default consistency level.
static final BvarSel BVAR_NONE = BvarSel.BVAR_NONE
 Select in order.
static final BvarSel BVAR_MIN_MIN = BvarSel.BVAR_MIN_MIN
 Select variable with smallest minimum.
static final BvarSel BVAR_MIN_MAX = BvarSel.BVAR_MIN_MAX
 Select variable with largest minimum.
static final BvarSel BVAR_MAX_MIN = BvarSel.BVAR_MAX_MIN
 Select variable with smallest maximum.
static final BvarSel BVAR_MAX_MAX = BvarSel.BVAR_MAX_MAX
 Select variable with largest maximum.
static final BvarSel BVAR_SIZE_MIN = BvarSel.BVAR_SIZE_MIN
 Select variable with smallest domain size.
static final BvarSel BVAR_SIZE_MAX = BvarSel.BVAR_SIZE_MAX
 Select variable with select variable with largest domain size.
static final BvarSel BVAR_DEGREE_MIN = BvarSel.BVAR_DEGREE_MIN
 Select variable with smallest number of subscribed propagators.
static final BvarSel BVAR_DEGREE_MAX = BvarSel.BVAR_DEGREE_MAX
 Select variable with largest number of subscribed propagators.
static final BvarSel BVAR_REGRET_MIN_MIN = BvarSel.BVAR_REGRET_MIN_MIN
 Select variable with smallest min-regret.
static final BvarSel BVAR_REGRET_MIN_MAX = BvarSel.BVAR_REGRET_MIN_MAX
 Select variable with largest min-regret.
static final BvarSel BVAR_REGRET_MAX_MIN = BvarSel.BVAR_REGRET_MAX_MIN
 Select variable with smallest max-regret.
static final BvarSel BVAR_REGRET_MAX_MAX = BvarSel.BVAR_REGRET_MAX_MAX
 Select variable with largest max-regret.
static final BvalSel BVAL_MIN = BvalSel.BVAL_MIN
 Select smallest value/not smallest value.
static final BvalSel BVAL_MED = BvalSel.BVAL_MED
 Select median value/not median value.
static final BvalSel BVAL_MAX = BvalSel.BVAL_MAX
 Select maximum value/not maximum value.
static final BvalSel BVAL_SPLIT_MIN = BvalSel.BVAL_SPLIT_MIN
 Select lower half/upper half.
static final BvalSel BVAL_SPLIT_MAX = BvalSel.BVAL_SPLIT_MAX
 Select upper half/lower half.
static final AvalSel AVAL_MIN = AvalSel.AVAL_MIN
 Assigne to minimum.
static final AvalSel AVAL_MED = AvalSel.AVAL_MED
 Assign to median.
static final AvalSel AVAL_MAX = AvalSel.AVAL_MAX
 Assign to maximum.
static final SetRelType SRT_EQ = SetRelType.SRT_EQ
 Equality (=).
static final SetRelType SRT_NQ = SetRelType.SRT_NQ
 Disequality ( !=).
static final SetRelType SRT_SUB = SetRelType.SRT_SUB
 Subset (subseteq).
static final SetRelType SRT_SUP = SetRelType.SRT_SUP
 Superset (supseteq).
static final SetRelType SRT_DISJ = SetRelType.SRT_DISJ
 Disjoint (parallel).
static final SetRelType SRT_CMPL = SetRelType.SRT_CMPL
 Complement.
static final SetOpType SOT_UNION = SetOpType.SOT_UNION
 Union.
static final SetOpType SOT_DUNION = SetOpType.SOT_DUNION
 Disjoint union.
static final SetOpType SOT_INTER = SetOpType.SOT_INTER
 Intersection.
static final SetOpType SOT_MINUS = SetOpType.SOT_MINUS
 Difference.
static final SetBvarSel SETBVAR_NONE = SetBvarSel.SETBVAR_NONE
 Select variables in order.
static final SetBvarSel SETBVAR_MIN_CARD = SetBvarSel.SETBVAR_MIN_CARD
 Select variable with minimum cardinality.
static final SetBvarSel SETBVAR_MAX_CARD = SetBvarSel.SETBVAR_MAX_CARD
 Select variable with maximum cardinality.
static final SetBvarSel SETBVAR_MIN_UNKNOWN_ELEM = SetBvarSel.SETBVAR_MIN_UNKNOWN_ELEM
 Select variable with minimum number of unknown elements.
static final SetBvarSel SETBVAR_MAX_UNKNOWN_ELEM = SetBvarSel.SETBVAR_MAX_UNKNOWN_ELEM
 Select variable with maximum number of unknown elements.
static final SetBvalSel SETBVAL_MIN = SetBvalSel.SETBVAL_MIN
 Select smallest value.
static final SetBvalSel SETBVAL_MAX = SetBvalSel.SETBVAL_MAX
 Select largest value.
static final SpaceStatus SS_FAILED = SpaceStatus.SS_FAILED
 Space is failed.
static final SpaceStatus SS_SOLVED = SpaceStatus.SS_SOLVED
 Space is solved.
static final SpaceStatus SS_BRANCH = SpaceStatus.SS_BRANCH
 Space has branchings left.
static final ExecStatus ES_FAILED = ExecStatus.ES_FAILED
 Execution has resulted in failure.
static final ExecStatus ES_NOFIX = ExecStatus.ES_NOFIX
 Propagation has not computed fixpoint.
static final ExecStatus ES_OK = ExecStatus.ES_OK
 Execution is okay.
static final ExecStatus ES_FIX = ExecStatus.ES_FIX
 Propagation has computed fixpoint.
static final ExecStatus ES_SUBSUMED = ExecStatus.ES_SUBSUMED
 Propagator is subsumed (entailed).
static final PropCost PC_CRAZY_LO = PropCost.PC_CRAZY_LO
 Exponential complexity; cheap.
static final PropCost PC_CRAZY_HI = PropCost.PC_CRAZY_HI
 Exponential complexity; expensive.
static final PropCost PC_CUBIC_LO = PropCost.PC_CUBIC_LO
 Cubic complexity; cheap.
static final PropCost PC_CUBIC_HI = PropCost.PC_CUBIC_HI
 Cubic complexity; expensive.
static final PropCost PC_QUADRATIC_LO = PropCost.PC_QUADRATIC_LO
 Quadratic complexity; cheap.
static final PropCost PC_QUADRATIC_HI = PropCost.PC_QUADRATIC_HI
 Quadratic complexity; expensive.
static final PropCost PC_LINEAR_HI = PropCost.PC_LINEAR_HI
 Linear complexity; expensive.
static final PropCost PC_LINEAR_LO = PropCost.PC_LINEAR_LO
 Linear complexity; cheap.
static final PropCost PC_TERNARY_HI = PropCost.PC_TERNARY_HI
 Three variables; expensive.
static final PropCost PC_BINARY_HI = PropCost.PC_BINARY_HI
 Two variables; expensive.
static final PropCost PC_TERNARY_LO = PropCost.PC_TERNARY_LO
 Three variables; cheap.
static final PropCost PC_BINARY_LO = PropCost.PC_BINARY_LO
 Two variables; cheap.
static final PropCost PC_UNARY_LO = PropCost.PC_UNARY_LO
 Only single variable; cheap.
static final PropCost PC_UNARY_HI = PropCost.PC_UNARY_HI
 Only single variable; expensive.
static final PropCond PC_INT_VAL = IntPropCond.PC_INT_VAL
 Propagate when view becomes assigned.
static final PropCond PC_INT_BND = IntPropCond.PC_INT_BND
 Propagate when the bounds change.
static final PropCond PC_INT_DOM = IntPropCond.PC_INT_DOM
 Propagate on any domain-change.
static final PropCond PC_SET_VAL = SetPropCond.PC_SET_VAL
 Propagate when a view becomes assigned (single value).
static final PropCond PC_SET_CARD = SetPropCond.PC_SET_CARD
 Propagate when the cardinality of a view changes.
static final PropCond PC_SET_CGLB = SetPropCond.PC_SET_CGLB
 Propagate when the cardinality or the greatest lower bound of a view changes.
static final PropCond PC_SET_CLUB = SetPropCond.PC_SET_CLUB
 Propagate when the cardinality or the least upper bound of a view changes.
static final PropCond PC_SET_ANY = SetPropCond.PC_SET_ANY
 Propagate when any bound or the cardinality of a view changes.

Member Data Documentation

final IntRelType org.gecode.GecodeEnumConstants.IRT_EQ = IntRelType.IRT_EQ [static]

Equality.

Definition at line 35 of file GecodeEnumConstants.java.

final IntRelType org.gecode.GecodeEnumConstants.IRT_NQ = IntRelType.IRT_NQ [static]

Disequality.

Definition at line 38 of file GecodeEnumConstants.java.

final IntRelType org.gecode.GecodeEnumConstants.IRT_LQ = IntRelType.IRT_LQ [static]

Less or equal.

Definition at line 41 of file GecodeEnumConstants.java.

final IntRelType org.gecode.GecodeEnumConstants.IRT_LE = IntRelType.IRT_LE [static]

Less.

Definition at line 44 of file GecodeEnumConstants.java.

final IntRelType org.gecode.GecodeEnumConstants.IRT_GQ = IntRelType.IRT_GQ [static]

Greater or equal.

Definition at line 47 of file GecodeEnumConstants.java.

final IntRelType org.gecode.GecodeEnumConstants.IRT_GR = IntRelType.IRT_GR [static]

Greater.

Definition at line 50 of file GecodeEnumConstants.java.

final IntConLevel org.gecode.GecodeEnumConstants.ICL_VAL = IntConLevel.ICL_VAL [static]

Value constiency.

Definition at line 54 of file GecodeEnumConstants.java.

final IntConLevel org.gecode.GecodeEnumConstants.ICL_BND = IntConLevel.ICL_BND [static]

Bounds consistency.

Definition at line 57 of file GecodeEnumConstants.java.

final IntConLevel org.gecode.GecodeEnumConstants.ICL_DOM = IntConLevel.ICL_DOM [static]

Domain consitency.

Definition at line 60 of file GecodeEnumConstants.java.

final IntConLevel org.gecode.GecodeEnumConstants.ICL_DEF = IntConLevel.ICL_DEF [static]

Default consistency level.

This is the appropriate default for each propagator.

Definition at line 64 of file GecodeEnumConstants.java.

final BvarSel org.gecode.GecodeEnumConstants.BVAR_NONE = BvarSel.BVAR_NONE [static]

Select in order.

Definition at line 68 of file GecodeEnumConstants.java.

final BvarSel org.gecode.GecodeEnumConstants.BVAR_MIN_MIN = BvarSel.BVAR_MIN_MIN [static]

Select variable with smallest minimum.

Definition at line 71 of file GecodeEnumConstants.java.

final BvarSel org.gecode.GecodeEnumConstants.BVAR_MIN_MAX = BvarSel.BVAR_MIN_MAX [static]

Select variable with largest minimum.

Definition at line 74 of file GecodeEnumConstants.java.

final BvarSel org.gecode.GecodeEnumConstants.BVAR_MAX_MIN = BvarSel.BVAR_MAX_MIN [static]

Select variable with smallest maximum.

Definition at line 77 of file GecodeEnumConstants.java.

final BvarSel org.gecode.GecodeEnumConstants.BVAR_MAX_MAX = BvarSel.BVAR_MAX_MAX [static]

Select variable with largest maximum.

Definition at line 80 of file GecodeEnumConstants.java.

final BvarSel org.gecode.GecodeEnumConstants.BVAR_SIZE_MIN = BvarSel.BVAR_SIZE_MIN [static]

Select variable with smallest domain size.

Definition at line 83 of file GecodeEnumConstants.java.

final BvarSel org.gecode.GecodeEnumConstants.BVAR_SIZE_MAX = BvarSel.BVAR_SIZE_MAX [static]

Select variable with select variable with largest domain size.

Definition at line 86 of file GecodeEnumConstants.java.

final BvarSel org.gecode.GecodeEnumConstants.BVAR_DEGREE_MIN = BvarSel.BVAR_DEGREE_MIN [static]

Select variable with smallest number of subscribed propagators.

Definition at line 89 of file GecodeEnumConstants.java.

final BvarSel org.gecode.GecodeEnumConstants.BVAR_DEGREE_MAX = BvarSel.BVAR_DEGREE_MAX [static]

Select variable with largest number of subscribed propagators.

Definition at line 92 of file GecodeEnumConstants.java.

final BvarSel org.gecode.GecodeEnumConstants.BVAR_REGRET_MIN_MIN = BvarSel.BVAR_REGRET_MIN_MIN [static]

Select variable with smallest min-regret.

The min-regret of a variable is the difference between the smallest and second-smallest value still in the domain.

Definition at line 98 of file GecodeEnumConstants.java.

final BvarSel org.gecode.GecodeEnumConstants.BVAR_REGRET_MIN_MAX = BvarSel.BVAR_REGRET_MIN_MAX [static]

Select variable with largest min-regret.

The min-regret of a variable is the difference between the smallest and second-smallest value still in the domain.

Definition at line 104 of file GecodeEnumConstants.java.

final BvarSel org.gecode.GecodeEnumConstants.BVAR_REGRET_MAX_MIN = BvarSel.BVAR_REGRET_MAX_MIN [static]

Select variable with smallest max-regret.

The max-regret of a variable is the difference between the largest and second-largest value still in the domain.

Definition at line 110 of file GecodeEnumConstants.java.

final BvarSel org.gecode.GecodeEnumConstants.BVAR_REGRET_MAX_MAX = BvarSel.BVAR_REGRET_MAX_MAX [static]

Select variable with largest max-regret.

The max-regret of a variable is the difference between the largest and second-largest value still in the domain.

Definition at line 116 of file GecodeEnumConstants.java.

final BvalSel org.gecode.GecodeEnumConstants.BVAL_MIN = BvalSel.BVAL_MIN [static]

Select smallest value/not smallest value.

Definition at line 120 of file GecodeEnumConstants.java.

final BvalSel org.gecode.GecodeEnumConstants.BVAL_MED = BvalSel.BVAL_MED [static]

Select median value/not median value.

Definition at line 123 of file GecodeEnumConstants.java.

final BvalSel org.gecode.GecodeEnumConstants.BVAL_MAX = BvalSel.BVAL_MAX [static]

Select maximum value/not maximum value.

Definition at line 126 of file GecodeEnumConstants.java.

final BvalSel org.gecode.GecodeEnumConstants.BVAL_SPLIT_MIN = BvalSel.BVAL_SPLIT_MIN [static]

Select lower half/upper half.

Definition at line 129 of file GecodeEnumConstants.java.

final BvalSel org.gecode.GecodeEnumConstants.BVAL_SPLIT_MAX = BvalSel.BVAL_SPLIT_MAX [static]

Select upper half/lower half.

Definition at line 132 of file GecodeEnumConstants.java.

final AvalSel org.gecode.GecodeEnumConstants.AVAL_MIN = AvalSel.AVAL_MIN [static]

Assigne to minimum.

Definition at line 136 of file GecodeEnumConstants.java.

final AvalSel org.gecode.GecodeEnumConstants.AVAL_MED = AvalSel.AVAL_MED [static]

Assign to median.

Definition at line 139 of file GecodeEnumConstants.java.

final AvalSel org.gecode.GecodeEnumConstants.AVAL_MAX = AvalSel.AVAL_MAX [static]

Assign to maximum.

Definition at line 142 of file GecodeEnumConstants.java.

final SetRelType org.gecode.GecodeEnumConstants.SRT_EQ = SetRelType.SRT_EQ [static]

Equality (=).

Definition at line 146 of file GecodeEnumConstants.java.

final SetRelType org.gecode.GecodeEnumConstants.SRT_NQ = SetRelType.SRT_NQ [static]

Disequality ( !=).

Definition at line 149 of file GecodeEnumConstants.java.

final SetRelType org.gecode.GecodeEnumConstants.SRT_SUB = SetRelType.SRT_SUB [static]

Subset (subseteq).

Definition at line 152 of file GecodeEnumConstants.java.

final SetRelType org.gecode.GecodeEnumConstants.SRT_SUP = SetRelType.SRT_SUP [static]

Superset (supseteq).

Definition at line 155 of file GecodeEnumConstants.java.

final SetRelType org.gecode.GecodeEnumConstants.SRT_DISJ = SetRelType.SRT_DISJ [static]

Disjoint (parallel).

Definition at line 158 of file GecodeEnumConstants.java.

final SetRelType org.gecode.GecodeEnumConstants.SRT_CMPL = SetRelType.SRT_CMPL [static]

Complement.

Definition at line 161 of file GecodeEnumConstants.java.

final SetOpType org.gecode.GecodeEnumConstants.SOT_UNION = SetOpType.SOT_UNION [static]

Union.

Definition at line 165 of file GecodeEnumConstants.java.

final SetOpType org.gecode.GecodeEnumConstants.SOT_DUNION = SetOpType.SOT_DUNION [static]

Disjoint union.

Definition at line 168 of file GecodeEnumConstants.java.

final SetOpType org.gecode.GecodeEnumConstants.SOT_INTER = SetOpType.SOT_INTER [static]

Intersection.

Definition at line 171 of file GecodeEnumConstants.java.

final SetOpType org.gecode.GecodeEnumConstants.SOT_MINUS = SetOpType.SOT_MINUS [static]

Difference.

Definition at line 174 of file GecodeEnumConstants.java.

final SetBvarSel org.gecode.GecodeEnumConstants.SETBVAR_NONE = SetBvarSel.SETBVAR_NONE [static]

Select variables in order.

Definition at line 178 of file GecodeEnumConstants.java.

final SetBvarSel org.gecode.GecodeEnumConstants.SETBVAR_MIN_CARD = SetBvarSel.SETBVAR_MIN_CARD [static]

Select variable with minimum cardinality.

Definition at line 181 of file GecodeEnumConstants.java.

final SetBvarSel org.gecode.GecodeEnumConstants.SETBVAR_MAX_CARD = SetBvarSel.SETBVAR_MAX_CARD [static]

Select variable with maximum cardinality.

Definition at line 184 of file GecodeEnumConstants.java.

final SetBvarSel org.gecode.GecodeEnumConstants.SETBVAR_MIN_UNKNOWN_ELEM = SetBvarSel.SETBVAR_MIN_UNKNOWN_ELEM [static]

Select variable with minimum number of unknown elements.

Definition at line 187 of file GecodeEnumConstants.java.

final SetBvarSel org.gecode.GecodeEnumConstants.SETBVAR_MAX_UNKNOWN_ELEM = SetBvarSel.SETBVAR_MAX_UNKNOWN_ELEM [static]

Select variable with maximum number of unknown elements.

Definition at line 190 of file GecodeEnumConstants.java.

final SetBvalSel org.gecode.GecodeEnumConstants.SETBVAL_MIN = SetBvalSel.SETBVAL_MIN [static]

Select smallest value.

Definition at line 194 of file GecodeEnumConstants.java.

final SetBvalSel org.gecode.GecodeEnumConstants.SETBVAL_MAX = SetBvalSel.SETBVAL_MAX [static]

Select largest value.

Definition at line 197 of file GecodeEnumConstants.java.

final SpaceStatus org.gecode.GecodeEnumConstants.SS_FAILED = SpaceStatus.SS_FAILED [static]

Space is failed.

Definition at line 201 of file GecodeEnumConstants.java.

final SpaceStatus org.gecode.GecodeEnumConstants.SS_SOLVED = SpaceStatus.SS_SOLVED [static]

Space is solved.

Definition at line 204 of file GecodeEnumConstants.java.

final SpaceStatus org.gecode.GecodeEnumConstants.SS_BRANCH = SpaceStatus.SS_BRANCH [static]

Space has branchings left.

Definition at line 207 of file GecodeEnumConstants.java.

final ExecStatus org.gecode.GecodeEnumConstants.ES_FAILED = ExecStatus.ES_FAILED [static]

Execution has resulted in failure.

Definition at line 211 of file GecodeEnumConstants.java.

final ExecStatus org.gecode.GecodeEnumConstants.ES_NOFIX = ExecStatus.ES_NOFIX [static]

Propagation has not computed fixpoint.

Definition at line 214 of file GecodeEnumConstants.java.

final ExecStatus org.gecode.GecodeEnumConstants.ES_OK = ExecStatus.ES_OK [static]

Execution is okay.

Definition at line 217 of file GecodeEnumConstants.java.

final ExecStatus org.gecode.GecodeEnumConstants.ES_FIX = ExecStatus.ES_FIX [static]

Propagation has computed fixpoint.

Definition at line 220 of file GecodeEnumConstants.java.

final ExecStatus org.gecode.GecodeEnumConstants.ES_SUBSUMED = ExecStatus.ES_SUBSUMED [static]

Propagator is subsumed (entailed).

Definition at line 223 of file GecodeEnumConstants.java.

final PropCost org.gecode.GecodeEnumConstants.PC_CRAZY_LO = PropCost.PC_CRAZY_LO [static]

Exponential complexity; cheap.

Definition at line 227 of file GecodeEnumConstants.java.

final PropCost org.gecode.GecodeEnumConstants.PC_CRAZY_HI = PropCost.PC_CRAZY_HI [static]

Exponential complexity; expensive.

Definition at line 230 of file GecodeEnumConstants.java.

final PropCost org.gecode.GecodeEnumConstants.PC_CUBIC_LO = PropCost.PC_CUBIC_LO [static]

Cubic complexity; cheap.

Definition at line 233 of file GecodeEnumConstants.java.

final PropCost org.gecode.GecodeEnumConstants.PC_CUBIC_HI = PropCost.PC_CUBIC_HI [static]

Cubic complexity; expensive.

Definition at line 236 of file GecodeEnumConstants.java.

final PropCost org.gecode.GecodeEnumConstants.PC_QUADRATIC_LO = PropCost.PC_QUADRATIC_LO [static]

Quadratic complexity; cheap.

Definition at line 239 of file GecodeEnumConstants.java.

final PropCost org.gecode.GecodeEnumConstants.PC_QUADRATIC_HI = PropCost.PC_QUADRATIC_HI [static]

Quadratic complexity; expensive.

Definition at line 242 of file GecodeEnumConstants.java.

final PropCost org.gecode.GecodeEnumConstants.PC_LINEAR_HI = PropCost.PC_LINEAR_HI [static]

Linear complexity; expensive.

Definition at line 245 of file GecodeEnumConstants.java.

final PropCost org.gecode.GecodeEnumConstants.PC_LINEAR_LO = PropCost.PC_LINEAR_LO [static]

Linear complexity; cheap.

Definition at line 248 of file GecodeEnumConstants.java.

final PropCost org.gecode.GecodeEnumConstants.PC_TERNARY_HI = PropCost.PC_TERNARY_HI [static]

Three variables; expensive.

Definition at line 251 of file GecodeEnumConstants.java.

final PropCost org.gecode.GecodeEnumConstants.PC_BINARY_HI = PropCost.PC_BINARY_HI [static]

Two variables; expensive.

Definition at line 254 of file GecodeEnumConstants.java.

final PropCost org.gecode.GecodeEnumConstants.PC_TERNARY_LO = PropCost.PC_TERNARY_LO [static]

Three variables; cheap.

Definition at line 257 of file GecodeEnumConstants.java.

final PropCost org.gecode.GecodeEnumConstants.PC_BINARY_LO = PropCost.PC_BINARY_LO [static]

Two variables; cheap.

Definition at line 260 of file GecodeEnumConstants.java.

final PropCost org.gecode.GecodeEnumConstants.PC_UNARY_LO = PropCost.PC_UNARY_LO [static]

Only single variable; cheap.

Definition at line 263 of file GecodeEnumConstants.java.

final PropCost org.gecode.GecodeEnumConstants.PC_UNARY_HI = PropCost.PC_UNARY_HI [static]

Only single variable; expensive.

Definition at line 266 of file GecodeEnumConstants.java.

final PropCond org.gecode.GecodeEnumConstants.PC_INT_VAL = IntPropCond.PC_INT_VAL [static]

Propagate when view becomes assigned.

Definition at line 270 of file GecodeEnumConstants.java.

final PropCond org.gecode.GecodeEnumConstants.PC_INT_BND = IntPropCond.PC_INT_BND [static]

Propagate when the bounds change.

Definition at line 273 of file GecodeEnumConstants.java.

final PropCond org.gecode.GecodeEnumConstants.PC_INT_DOM = IntPropCond.PC_INT_DOM [static]

Propagate on any domain-change.

Definition at line 276 of file GecodeEnumConstants.java.

final PropCond org.gecode.GecodeEnumConstants.PC_SET_VAL = SetPropCond.PC_SET_VAL [static]

Propagate when a view becomes assigned (single value).

If a propagator p depends on a view x with propagation condition PC_SET_VAL, then p is propagated when a domain update operation on x returns the modification event ME_SET_VAL.

Definition at line 284 of file GecodeEnumConstants.java.

final PropCond org.gecode.GecodeEnumConstants.PC_SET_CARD = SetPropCond.PC_SET_CARD [static]

Propagate when the cardinality of a view changes.

If a propagator p depends on a view x with propagation condition PC_SET_CARD, then p is propagated when a domain update operation on x returns the modification event ME_SET_VAL, ME_SET_CARD, ME_SET_CGLB, ME_SET_CLUB, or ME_SET_CBB.

Definition at line 292 of file GecodeEnumConstants.java.

final PropCond org.gecode.GecodeEnumConstants.PC_SET_CGLB = SetPropCond.PC_SET_CGLB [static]

Propagate when the cardinality or the greatest lower bound of a view changes.

If a propagator p depends on a view x with propagation condition PC_SET_CGLB, then p is propagated when a domain update operation on x returns the modification event ME_SET_VAL, ME_SET_GLB, ME_SET_BB, ME_SET_CARD, ME_SET_CGLB, ME_SET_CLUB, or ME_SET_CBB.

Definition at line 302 of file GecodeEnumConstants.java.

final PropCond org.gecode.GecodeEnumConstants.PC_SET_CLUB = SetPropCond.PC_SET_CLUB [static]

Propagate when the cardinality or the least upper bound of a view changes.

If a propagator p depends on a view x with propagation condition PC_SET_CLUB, then p is propagated when a domain update operation on x returns the modification event ME_SET_VAL, ME_SET_LUB, ME_SET_BB, ME_SET_CARD, ME_SET_CGLB, ME_SET_CLUB, or ME_SET_CBB.

Definition at line 312 of file GecodeEnumConstants.java.

final PropCond org.gecode.GecodeEnumConstants.PC_SET_ANY = SetPropCond.PC_SET_ANY [static]

Propagate when any bound or the cardinality of a view changes.

If a propagator p depends on a view x with propagation condition PC_SET_ANY, then p is propagated when a domain update operation on x returns any modification event but ME_SET_FAILED and ME_SET_NONE.

Definition at line 321 of file GecodeEnumConstants.java.

The documentation for this interface was generated from the following file: