Gecode::ViewBrancher< View, Filter, n > Class Template Reference
[Generic brancher based on view selection]
Generic brancher by view selection. More...
#include <view.hpp>
Public Member Functions | |
| virtual bool | status (const Space &home) const |
| Check status of brancher, return true if alternatives left. | |
| virtual size_t | dispose (Space &home) |
| Delete brancher and return its size. | |
Protected Types | |
| typedef View::VarType | Var |
| The corresponding variable. | |
Protected Member Functions | |
| Pos | pos (Space &home) |
| Return position information. | |
| View | view (const Pos &p) const |
| Return view according to position information p. | |
| ViewBrancher (Space &home, ViewBrancher< View, Filter, n > &b) | |
| Constructor for cloning b. | |
| ViewBrancher (Home home, ViewArray< View > &x, ViewSel< View > *vs[n], BranchFilter< Var > bf) | |
| Constructor for creation. | |
Protected Attributes | |
| ViewArray< View > | x |
| Views to branch on. | |
| int | start |
| Unassigned views start at x[start]. | |
| ViewSel< View > * | vs [n] |
| View selection objects. | |
| Filter | f |
| Filter function. | |
Detailed Description
template<class View, class Filter, int n>
class Gecode::ViewBrancher< View, Filter, n >
Generic brancher by view selection.
Defined for views of type View and n view selectors for tie-breaking.
Definition at line 78 of file view.hpp.
Member Typedef Documentation
template<class View, class Filter, int n>
typedef View::VarType Gecode::ViewBrancher< View, Filter, n >::Var [protected] |
The corresponding variable.
Reimplemented in Gecode::ViewValBrancher< View, n, Val, a, Filter, Print >.
Constructor & Destructor Documentation
template<class View, class Filter, int n>
| Gecode::ViewBrancher< View, Filter, n >::ViewBrancher | ( | Space & | home, | |
| ViewBrancher< View, Filter, n > & | b | |||
| ) | [inline, protected] |
template<class View, class Filter, int n>
| Gecode::ViewBrancher< View, Filter, n >::ViewBrancher | ( | Home | home, | |
| ViewArray< View > & | x, | |||
| ViewSel< View > * | vs[n], | |||
| BranchFilter< Var > | bf | |||
| ) | [inline, protected] |
Member Function Documentation
template<class View , class Filter , int n>
| Pos Gecode::ViewBrancher< View, Filter, n >::pos | ( | Space & | home | ) | [inline, protected] |
template<class View , class Filter , int n>
| View Gecode::ViewBrancher< View, Filter, n >::view | ( | const Pos & | p | ) | const [inline, protected] |
template<class View , class Filter , int n>
| bool Gecode::ViewBrancher< View, Filter, n >::status | ( | const Space & | home | ) | const [inline, virtual] |
Check status of brancher, return true if alternatives left.
Implements Gecode::Brancher.
template<class View , class Filter , int n>
| size_t Gecode::ViewBrancher< View, Filter, n >::dispose | ( | Space & | home | ) | [inline, virtual] |
Delete brancher and return its size.
Reimplemented from Gecode::Actor.
Reimplemented in Gecode::Int::Branch::ViewValuesBrancher< n, min, Filter, Print >, Gecode::Int::LDSB::LDSBBrancher< View, n, Val, a, Filter, Print >, and Gecode::ViewValBrancher< View, n, Val, a, Filter, Print >.
Member Data Documentation
template<class View, class Filter, int n>
ViewArray<View> Gecode::ViewBrancher< View, Filter, n >::x [protected] |
template<class View, class Filter, int n>
int Gecode::ViewBrancher< View, Filter, n >::start [mutable, protected] |
template<class View, class Filter, int n>
ViewSel<View>* Gecode::ViewBrancher< View, Filter, n >::vs[n] [protected] |
template<class View, class Filter, int n>
Filter Gecode::ViewBrancher< View, Filter, n >::f [protected] |
The documentation for this class was generated from the following file:
- gecode/kernel/branch/view.hpp