branch.hh File Reference

#include <gecode/set.hh>
#include <gecode/set/branch/merit.hpp>
#include <gecode/set/branch/val-sel.hpp>
#include <gecode/set/branch/ngl.hpp>
#include <gecode/set/branch/val-commit.hpp>

Go to the source code of this file.

Classes
class	Gecode::Set::Branch::MeritMin
	Merit class for mimimum of set views. More...
class	Gecode::Set::Branch::MeritMax
	Merit class for maximum of set view. More...
class	Gecode::Set::Branch::MeritSize
	Merit class for size of set view. More...
class	Gecode::Set::Branch::MeritDegreeSize
	Merit class for degree over size. More...
class	Gecode::Set::Branch::MeritAFCSize
	Merit class for AFC over size. More...
class	Gecode::Set::Branch::MeritActionSize
	Merit class for action over size. More...
class	Gecode::Set::Branch::MeritCHBSize
	Merit class for CHB Q-score over size. More...
class	Gecode::Set::Branch::ValSelMin
	Value selection class for mimimum of view. More...
class	Gecode::Set::Branch::ValSelMax
	Value selection class for maximum of view. More...
class	Gecode::Set::Branch::ValSelMed
	Value selection class for median of view. More...
class	Gecode::Set::Branch::ValSelRnd
	Value selection class for random value of view. More...
class	Gecode::Set::Branch::IncNGL
	No-good literal for inclusion. More...
class	Gecode::Set::Branch::ExcNGL
	No-good literal for exclusion. More...
class	Gecode::Set::Branch::ValCommitInc
	Value commit class for inclusion. More...
class	Gecode::Set::Branch::ValCommitExc
	Value commit class for exclusion. More...
Namespaces
namespace	Gecode::Set::Branch
	Set branchings
namespace	Gecode
	Gecode toplevel namespace
namespace	Gecode::Set
	Finite integer sets.
Functions
ViewSel< SetView > *	Gecode::Set::Branch::viewsel (Space &home, const SetVarBranch &svb)
	Return view selectors for set views.
ValSelCommitBase< SetView, int > *	Gecode::Set::Branch::valselcommit (Space &home, const SetValBranch &svb)
	Return value and commit for set views.
ValSelCommitBase< SetView, int > *	Gecode::Set::Branch::valselcommit (Space &home, const SetAssign &ia)
	Return value and commit for set views.