Gecode::Search::SBViewValBranching< View, Val, ViewSel, ValSel, SymmBreaker > Class Template Reference
#include <GC_searchExt.hh>
Detailed Description
template<class View, class Val, class ViewSel, class ValSel, class SymmBreaker>
class Gecode::Search::SBViewValBranching< View, Val, ViewSel, ValSel, SymmBreaker >
Generic branching with symmetry breaking.
Definition at line 183 of file GC_searchExt.hh.
Public Member Functions | |
virtual ExecStatus | commit (Space *home, const BranchingDesc *d, unsigned int a) |
virtual Actor * | copy (Space *home, bool share) |
SBViewValBranching (Space *home, ViewArray< View > &x, SymmBreaker &sym) | |
SBViewValBranching (Space *home, ViewArray< View > &x) | |
virtual bool | status (const Space *home) const |
Protected Member Functions | |
SBViewValBranching (Space *home, bool share, SBViewValBranching &b) | |
Protected Attributes | |
SymmBreaker | symmetries |
Constructor & Destructor Documentation
template<class View, class Val, class ViewSel, class ValSel, class SymmBreaker>
forceinline Gecode::Search::SBViewValBranching< View, Val, ViewSel, ValSel, SymmBreaker >::SBViewValBranching | ( | Space * | home, | |
bool | share, | |||
SBViewValBranching< View, Val, ViewSel, ValSel, SymmBreaker > & | b | |||
) | [inline, protected] |
Definition at line 106 of file symm-break.icc.
template<class View, class Val, class ViewSel, class ValSel, class SymmBreaker>
forceinline Gecode::Search::SBViewValBranching< View, Val, ViewSel, ValSel, SymmBreaker >::SBViewValBranching | ( | Space * | home, | |
ViewArray< View > & | x | |||
) | [inline] |
template<class View, class Val, class ViewSel, class ValSel, class SymmBreaker>
forceinline Gecode::Search::SBViewValBranching< View, Val, ViewSel, ValSel, SymmBreaker >::SBViewValBranching | ( | Space * | home, | |
ViewArray< View > & | x, | |||
SymmBreaker & | sym | |||
) | [inline] |
Constructor for creation with pre-initialized symmetries object.
Definition at line 98 of file symm-break.icc.
Member Function Documentation
template<class View, class Val, class ViewSel, class ValSel, class SymmBreaker>
ExecStatus Gecode::Search::SBViewValBranching< View, Val, ViewSel, ValSel, SymmBreaker >::commit | ( | Space * | home, | |
const BranchingDesc * | d, | |||
unsigned int | a | |||
) | [inline, virtual] |
Perform commit for branching description d and alternative a.
Definition at line 134 of file symm-break.icc.
template<class View, class Val, class ViewSel, class ValSel, class SymmBreaker>
Actor * Gecode::Search::SBViewValBranching< View, Val, ViewSel, ValSel, SymmBreaker >::copy | ( | Space * | home, | |
bool | share | |||
) | [inline, virtual] |
template<class View, class Val, class ViewSel, class ValSel, class SymmBreaker>
bool Gecode::Search::SBViewValBranching< View, Val, ViewSel, ValSel, SymmBreaker >::status | ( | const Space * | home | ) | const [inline, virtual] |
Check status of branching, return true if alternatives left.
Definition at line 123 of file symm-break.icc.
Field Documentation
template<class View, class Val, class ViewSel, class ValSel, class SymmBreaker>
SymmBreaker Gecode::Search::SBViewValBranching< View, Val, ViewSel, ValSel, SymmBreaker >::symmetries [protected] |
Definition at line 185 of file GC_searchExt.hh.
The documentation for this class was generated from the following files:
- src/cpsp/gecode/GC_searchExt.hh
- src/cpsp/gecode/symm-break.icc