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

cpsp::gecode::FirstSolBranching< View, Val, ViewSel, ValSel > Class Template Reference

#include <GC_FirstSolBranching.hh>


Detailed Description

template<class View, class Val, class ViewSel, class ValSel>
class cpsp::gecode::FirstSolBranching< View, Val, ViewSel, ValSel >

A ViewValBranching that stops search after the first solution have been found.

Definition at line 38 of file GC_FirstSolBranching.hh.


Public Member Functions

virtual Gecode::ExecStatus commit (Gecode::Space *home, const Gecode::BranchingDesc *d, unsigned int a)
virtual Gecode::Actor * copy (Gecode::Space *home, bool share)
 FirstSolBranching (Gecode::Space *home, Gecode::ViewArray< View > &x)
virtual bool status (const Gecode::Space *home) const

Protected Member Functions

 FirstSolBranching (Gecode::Space *home, bool share, FirstSolBranching &b)

Protected Attributes

bool firstSolFound
int myLvl

Constructor & Destructor Documentation

template<class View, class Val, class ViewSel, class ValSel>
cpsp::gecode::FirstSolBranching< View, Val, ViewSel, ValSel >::FirstSolBranching ( Gecode::Space *  home,
bool  share,
FirstSolBranching< View, Val, ViewSel, ValSel > &  b 
) [protected]

template<class View, class Val, class ViewSel, class ValSel>
cpsp::gecode::FirstSolBranching< View, Val, ViewSel, ValSel >::FirstSolBranching ( Gecode::Space *  home,
Gecode::ViewArray< View > &  x 
)

Constructor for creation.


Member Function Documentation

template<class View, class Val, class ViewSel, class ValSel>
virtual Gecode::ExecStatus cpsp::gecode::FirstSolBranching< View, Val, ViewSel, ValSel >::commit ( Gecode::Space *  home,
const Gecode::BranchingDesc *  d,
unsigned int  a 
) [virtual]

Perform branching.

template<class View, class Val, class ViewSel, class ValSel>
virtual Gecode::Actor* cpsp::gecode::FirstSolBranching< View, Val, ViewSel, ValSel >::copy ( Gecode::Space *  home,
bool  share 
) [virtual]

Perform cloning.

template<class View, class Val, class ViewSel, class ValSel>
virtual bool cpsp::gecode::FirstSolBranching< View, Val, ViewSel, ValSel >::status ( const Gecode::Space *  home  )  const [virtual]

Check status of branching, return true if alternatives left.


Field Documentation

template<class View, class Val, class ViewSel, class ValSel>
bool cpsp::gecode::FirstSolBranching< View, Val, ViewSel, ValSel >::firstSolFound [mutable, protected]

tag if the first solution was already found

Definition at line 41 of file GC_FirstSolBranching.hh.

template<class View, class Val, class ViewSel, class ValSel>
int cpsp::gecode::FirstSolBranching< View, Val, ViewSel, ValSel >::myLvl [mutable, protected]

branching level where a solution was found

level of this branching in the search tree

Definition at line 46 of file GC_FirstSolBranching.hh.


The documentation for this class was generated from the following file: