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
#include "gecode/cpltset/branch.hh"
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... |