Gecode::ViewBranching< ViewSel > Class Template Reference
[Generic branching based on view and value selection]
Generic branching by view selection.
More...
#include <branching.hpp>
Public Member Functions | |
| ViewBranching (Space &home, ViewArray< typename ViewSel::View > &x, ViewSel &vi_s) | |
| Constructor for creation. | |
| virtual bool | status (const Space &home) const |
| Check status of branching, return true if alternatives left. | |
| virtual size_t | dispose (Space &home) |
| Delete branching 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. | |
| ViewBranching (Space &home, bool share, ViewBranching &b) | |
| Constructor for cloning b. | |
Protected Attributes | |
| ViewArray< typename ViewSel::View > | x |
| Views to branch on. | |
| int | start |
| Unassigned views start at x[start]. | |
| ViewSel | viewsel |
| View selection object. | |
Detailed Description
template<class ViewSel>
class Gecode::ViewBranching< ViewSel >
Generic branching 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 branching.hpp.
Constructor & Destructor Documentation
template<class ViewSel >
| Gecode::ViewBranching< ViewSel >::ViewBranching | ( | Space & | home, | |
| bool | share, | |||
| ViewBranching< ViewSel > & | b | |||
| ) | [inline, protected] |
template<class ViewSel>
| Gecode::ViewBranching< ViewSel >::ViewBranching | ( | Space & | home, | |
| ViewArray< typename ViewSel::View > & | x, | |||
| ViewSel & | vi_s | |||
| ) | [inline] |
Member Function Documentation
template<class ViewSel >
| Pos Gecode::ViewBranching< ViewSel >::pos | ( | Space & | home | ) | [inline, protected] |
template<class ViewSel >
| ViewSel::View Gecode::ViewBranching< ViewSel >::view | ( | const Pos & | p | ) | const [inline, protected] |
template<class ViewSel >
| bool Gecode::ViewBranching< ViewSel >::status | ( | const Space & | home | ) | const [inline, virtual] |
Check status of branching, return true if alternatives left.
Implements Gecode::Branching.
Definition at line 271 of file branching.hpp.
template<class ViewSel >
| size_t Gecode::ViewBranching< ViewSel >::dispose | ( | Space & | home | ) | [inline, virtual] |
Delete branching and return its size.
Reimplemented from Gecode::Actor.
Reimplemented in Gecode::ViewValBranching< ViewSel, ValSel >.
Definition at line 308 of file branching.hpp.
Member Data Documentation
template<class ViewSel>
ViewArray<typename ViewSel::View> Gecode::ViewBranching< ViewSel >::x [protected] |
template<class ViewSel>
int Gecode::ViewBranching< ViewSel >::start [mutable, protected] |
template<class ViewSel>
ViewSel Gecode::ViewBranching< ViewSel >::viewsel [protected] |
The documentation for this class was generated from the following file:
- gecode/kernel/branching.hpp (Revision: 8155)