Generated on Wed Nov 1 15:05:07 2006 for Gecode by doxygen 1.4.5

Branching
[Using finite integer sets]

Collaboration diagram for Branching:


Enumerations

enum  Gecode::SetBvarSel {
  Gecode::SETBVAR_NONE, Gecode::SETBVAR_MIN_CARD, Gecode::SETBVAR_MAX_CARD, Gecode::SETBVAR_MIN_UNKNOWN_ELEM,
  Gecode::SETBVAR_MAX_UNKNOWN_ELEM
}
 Which variable to select for branching. More...
enum  Gecode::SetBvalSel { Gecode::SETBVAL_MIN, Gecode::SETBVAL_MAX }
 Which values to select first for branching. More...

Functions

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

Enumeration Type Documentation

enum Gecode::SetBvarSel
 

Which variable to select for branching.

Enumerator:
SETBVAR_NONE  First unassigned.
SETBVAR_MIN_CARD  With smallest unknown set.
SETBVAR_MAX_CARD  With largest unknown set.
SETBVAR_MIN_UNKNOWN_ELEM  With smallest unknown element.
SETBVAR_MAX_UNKNOWN_ELEM  With largest unknown element.

Definition at line 396 of file set.hh.

enum Gecode::SetBvalSel
 

Which values to select first for branching.

Enumerator:
SETBVAL_MIN  Select smallest value in unknown set.
SETBVAL_MAX  Select largest value in unknown set.

Definition at line 405 of file set.hh.

Function Documentation

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

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

Definition at line 35 of file branch.cc.