Generated on Sat Feb 7 2015 02:01:51 for Gecode by doxygen 1.8.9.1
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  MeritActivitySize
 Merit class for size over activity. More...
 
class  MeritAFCSize
 Merit class for size over afc. More...
 
class  MeritDegreeSize
 Merit class for size over degree. 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

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.

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< 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.