Generated on Mon Aug 25 11:35:47 2008 for Gecode by doxygen 1.5.6

Branching
[Using finite integer sets]


Enumerations

enum  Gecode::SetVarBranch {
  Gecode::SET_VAR_NONE, Gecode::SET_VAR_MIN_CARD, Gecode::SET_VAR_MAX_CARD, Gecode::SET_VAR_MIN_UNKNOWN_ELEM,
  Gecode::SET_VAR_MAX_UNKNOWN_ELEM
}
 Which variable to select for branching. More...
enum  Gecode::SetValBranch { Gecode::SET_VAL_MIN, Gecode::SET_VAL_MAX }
 Which values to select first for branching. More...

Functions

void Gecode::branch (Space *home, const SetVarArgs &x, SetVarBranch vars, SetValBranch vals)
 Branch over x with variable selection vars and value selection vals.


Enumeration Type Documentation

Which variable to select for branching.

Enumerator:
SET_VAR_NONE  First unassigned.
SET_VAR_MIN_CARD  With smallest unknown set.
SET_VAR_MAX_CARD  With largest unknown set.
SET_VAR_MIN_UNKNOWN_ELEM  With smallest unknown element.
SET_VAR_MAX_UNKNOWN_ELEM  With largest unknown element.

Definition at line 945 of file set.hh.

Which values to select first for branching.

Enumerator:
SET_VAL_MIN  Select smallest value in unknown set.
SET_VAL_MAX  Select largest value in unknown set.

Definition at line 954 of file set.hh.


Function Documentation

void Gecode::branch ( Space *  home,
const SetVarArgs &  xa,
SetVarBranch  vars,
SetValBranch  vals 
)

Branch over x with variable selection vars and value selection vals.

Definition at line 51 of file branch.cc.