Generated on Thu Apr 11 14:00:10 2019 for Gecode by doxygen 1.6.3

Gecode::Set::Branch Namespace Reference

Set branchings More...

Classes

class  MeritMin
 Merit class for mimimum of set views. More...
class  MeritMax
 Merit class for maximum of set view. More...
class  MeritSize
 Merit class for size of set view. More...
class  MeritDegreeSize
 Merit class for degree over size. More...
class  MeritAFCSize
 Merit class for AFC over size. More...
class  MeritActionSize
 Merit class for action over size. More...
class  MeritCHBSize
 Merit class for CHB Q-score over size. More...
class  ValSelMin
 Value selection class for mimimum of view. More...
class  ValSelMax
 Value selection class for maximum of view. More...
class  ValSelMed
 Value selection class for median of view. More...
class  ValSelRnd
 Value selection class for random value of view. More...
class  IncNGL
 No-good literal for inclusion. More...
class  ExcNGL
 No-good literal for exclusion. More...
class  ValCommitInc
 Value commit class for inclusion. More...
class  ValCommitExc
 Value commit class for exclusion. More...

Functions

ValSelCommitBase< SetView, int > * valselcommit (Space &home, const SetValBranch &svb)
 Return value and commit for set views.
ValSelCommitBase< SetView, int > * valselcommit (Space &home, const SetAssign &ia)
 Return value and commit for set views.
ViewSel< SetView > * viewsel (Space &home, const SetVarBranch &svb)
 Return view selectors for set views.

Detailed Description

Set branchings


Function Documentation

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 &  sa 
)

Return value and commit for set views.

ViewSel< SetView > * Gecode::Set::Branch::viewsel ( Space &  home,
const SetVarBranch &  svb 
)

Return view selectors for set views.