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

CpltSet view selection for branching
[Other available functionality]


Detailed Description

Contains a description of view selection strategies on CpltSet views that can be used together with the generic view/value branching class Gecode::ViewValBranching (argument ViewSel).

All view selection classes require


Classes

class  Gecode::CpltSet::Branch::ByNone
 View selection class for first view. More...
class  Gecode::CpltSet::Branch::ByMinCard
 View selection class for view with smallest cardinality of lub-glb. More...
class  Gecode::CpltSet::Branch::ByMaxCard
 View selection class for view with greatest cardinality of lub-glb. More...
class  Gecode::CpltSet::Branch::ByMinUnknown
 View selection class for view with smallest element in lub-glb. More...
class  Gecode::CpltSet::Branch::ByMaxUnknown
 View selection class for view with greatest element in lub-glb. More...