Generated on Fri Mar 20 15:56:26 2015 for Gecode by doxygen 1.6.3

branch.hh File Reference

(Revision: 13801)

#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 size over degree. More...
class  Gecode::Set::Branch::MeritAFCSize
 Merit class for size over afc. More...
class  Gecode::Set::Branch::MeritActivitySize
 Merit class for size over activity. 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.