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] |
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:
- src/cpsp/gecode/GC_FirstSolBranching.hh