Generated on Sat Jul 29 2017 12:41:24 for Gecode by doxygen 1.8.13
Gecode::Set::Branch Namespace Reference

Set branchings More...

Classes

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

Functions

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

Detailed Description

Set branchings

Function Documentation

◆ valselcommit() [1/2]

ValSelCommitBase< SetView, int > * Gecode::Set::Branch::valselcommit ( Space home,
const SetValBranch svb 
)

Return value and commit for set views.

Definition at line 43 of file val-sel-commit.cpp.

◆ valselcommit() [2/2]

ValSelCommitBase< SetView, int > * Gecode::Set::Branch::valselcommit ( Space home,
const SetAssign sa 
)

Return value and commit for set views.

Definition at line 75 of file val-sel-commit.cpp.

◆ viewsel()

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

Return view selectors for set views.

Definition at line 43 of file view-sel.cpp.