Generated on Fri Mar 20 12:35:20 2009 for cpsp-2.3.1 by doxygen 1.5.5

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]

Constructor for creation.

Definition at line 91 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,
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]

Perform cloning.

Definition at line 115 of file symm-break.icc.

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: