Gecode::ViewValBranching< ViewSel, ValSel > Class Template Reference
[Generic branching based on view and value selection]
Generic branching by view and value selection.
More...
#include <branching.hpp>
Public Member Functions | |
| ViewValBranching (Space &home, ViewArray< typename ViewSel::View > &x, ViewSel &vi_s, ValSel &va_s) | |
| Constructor for creation. | |
| virtual const BranchingDesc * | description (Space &home) |
| Return branching description (of type Gecode::PosValDesc). | |
| virtual ExecStatus | commit (Space &home, const BranchingDesc &d, unsigned int a) |
| Perform commit for branching description d and alternative a. | |
| virtual Actor * | copy (Space &home, bool share) |
| Perform cloning. | |
| virtual size_t | dispose (Space &home) |
| Delete branching and return its size. | |
Protected Member Functions | |
| ViewValBranching (Space &home, bool share, ViewValBranching &b) | |
| Constructor for cloning b. | |
Protected Attributes | |
| ValSel | valsel |
| Value selection object. | |
Detailed Description
template<class ViewSel, class ValSel>
class Gecode::ViewValBranching< ViewSel, ValSel >
Generic branching by view and value selection.
Implements view-based branching for an array of views (of type ViewSel::View) and value (of type ValSel::Val). The behaviour is defined by the class ViewSel (which view is selected for branching) and the class ValSel (which value is selected for branching).
Definition at line 111 of file branching.hpp.
Constructor & Destructor Documentation
| Gecode::ViewValBranching< ViewSel, ValSel >::ViewValBranching | ( | Space & | home, | |
| bool | share, | |||
| ViewValBranching< ViewSel, ValSel > & | b | |||
| ) | [inline, protected] |
| Gecode::ViewValBranching< ViewSel, ValSel >::ViewValBranching | ( | Space & | home, | |
| ViewArray< typename ViewSel::View > & | x, | |||
| ViewSel & | vi_s, | |||
| ValSel & | va_s | |||
| ) | [inline] |
Member Function Documentation
| const BranchingDesc * Gecode::ViewValBranching< ViewSel, ValSel >::description | ( | Space & | home | ) | [inline, virtual] |
Return branching description (of type Gecode::PosValDesc).
Implements Gecode::Branching.
Definition at line 345 of file branching.hpp.
| ExecStatus Gecode::ViewValBranching< ViewSel, ValSel >::commit | ( | Space & | home, | |
| const BranchingDesc & | d, | |||
| unsigned int | a | |||
| ) | [inline, virtual] |
Perform commit for branching description d and alternative a.
Implements Gecode::Branching.
Definition at line 357 of file branching.hpp.
| Actor * Gecode::ViewValBranching< ViewSel, ValSel >::copy | ( | Space & | home, | |
| bool | share | |||
| ) | [inline, virtual] |
| size_t Gecode::ViewValBranching< ViewSel, ValSel >::dispose | ( | Space & | home | ) | [inline, virtual] |
Delete branching and return its size.
Reimplemented from Gecode::ViewBranching< ViewSel >.
Definition at line 369 of file branching.hpp.
Member Data Documentation
ValSel Gecode::ViewValBranching< ViewSel, ValSel >::valsel [protected] |
The documentation for this class was generated from the following file:
- gecode/kernel/branching.hpp (Revision: 8155)