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