Gecode::ViewBrancher< ViewSel > Class Template Reference
[Generic brancher based on view and value selection]
Generic brancher by view selection. More...
#include <brancher.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 Member Functions | |
| Pos | pos (Space &home) |
| Return position information. | |
| ViewSel::View | view (const Pos &p) const |
| Return view according to position information p. | |
| ViewBrancher (Space &home, bool share, ViewBrancher &b) | |
| Constructor for cloning b. | |
| ViewBrancher (Home home, ViewArray< typename ViewSel::View > &x, ViewSel &vi_s, BranchFilter bf0=NULL) | |
| Constructor for creation. | |
Protected Attributes | |
| ViewArray< typename ViewSel::View > | x |
| Views to branch on. | |
| int | start |
| Unassigned views start at x[start]. | |
| ViewSel | viewsel |
| View selection object. | |
| BranchFilter | bf |
| Branch filter function. | |
Detailed Description
template<class ViewSel>
class Gecode::ViewBrancher< ViewSel >
Generic brancher by view selection.
Implements a baseclass for view-based branching for an array of views (of type ViewSel::View). The behaviour is defined by the class ViewSel (which view is selected for branching).
Definition at line 76 of file brancher.hpp.
Constructor & Destructor Documentation
| Gecode::ViewBrancher< ViewSel >::ViewBrancher | ( | Space & | home, | |
| bool | share, | |||
| ViewBrancher< ViewSel > & | b | |||
| ) | [inline, protected] |
Constructor for cloning b.
Definition at line 288 of file brancher.hpp.
| Gecode::ViewBrancher< ViewSel >::ViewBrancher | ( | Home | home, | |
| ViewArray< typename ViewSel::View > & | x, | |||
| ViewSel & | vi_s, | |||
| BranchFilter | bf0 = NULL | |||
| ) | [inline, protected] |
Constructor for creation.
Definition at line 280 of file brancher.hpp.
Member Function Documentation
| Pos Gecode::ViewBrancher< ViewSel >::pos | ( | Space & | home | ) | [inline, protected] |
Return position information.
Definition at line 318 of file brancher.hpp.
| ViewSel::View Gecode::ViewBrancher< ViewSel >::view | ( | const Pos & | p | ) | const [inline, protected] |
Return view according to position information p.
Definition at line 338 of file brancher.hpp.
| bool Gecode::ViewBrancher< ViewSel >::status | ( | const Space & | home | ) | const [inline, virtual] |
Check status of brancher, return true if alternatives left.
Implements Gecode::Brancher.
Definition at line 297 of file brancher.hpp.
| size_t Gecode::ViewBrancher< ViewSel >::dispose | ( | Space & | home | ) | [inline, virtual] |
Delete brancher and return its size.
Reimplemented from Gecode::Actor.
Reimplemented in Gecode::ViewValBrancher< ViewSel, ValSel >.
Definition at line 344 of file brancher.hpp.
Member Data Documentation
ViewArray<typename ViewSel::View> Gecode::ViewBrancher< ViewSel >::x [protected] |
Views to branch on.
Definition at line 79 of file brancher.hpp.
int Gecode::ViewBrancher< ViewSel >::start [mutable, protected] |
Unassigned views start at x[start].
Definition at line 81 of file brancher.hpp.
ViewSel Gecode::ViewBrancher< ViewSel >::viewsel [protected] |
View selection object.
Definition at line 83 of file brancher.hpp.
BranchFilter Gecode::ViewBrancher< ViewSel >::bf [protected] |
Branch filter function.
Definition at line 85 of file brancher.hpp.
The documentation for this class was generated from the following file:
- gecode/kernel/brancher.hpp (Revision: 12001)