Generic brancher by view and value selection. More...
#include <brancher.hpp>
Public Member Functions | |
virtual const Choice * | choice (Space &home) |
Return choice. | |
virtual ExecStatus | commit (Space &home, const Choice &c, unsigned int a) |
Perform commit for choice c and alternative a. | |
virtual Actor * | copy (Space &home, bool share) |
Perform cloning. | |
virtual size_t | dispose (Space &home) |
Delete brancher and return its size. | |
Static Public Member Functions | |
static void | post (Home home, ViewArray< typename ViewSel::View > &x, ViewSel &vi_s, ValSel &va_s, BranchFilter bf=NULL) |
Brancher post function. | |
Protected Member Functions | |
ViewValBrancher (Space &home, bool share, ViewValBrancher &b) | |
Constructor for cloning b. | |
ViewValBrancher (Home home, ViewArray< typename ViewSel::View > &x, ViewSel &vi_s, ValSel &va_s, BranchFilter bf0) | |
Constructor for creation. | |
Protected Attributes | |
ValSel | valsel |
Value selection object. |
Generic brancher 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 113 of file brancher.hpp.
Gecode::ViewValBrancher< ViewSel, ValSel >::ViewValBrancher | ( | Space & | home, |
bool | share, | ||
ViewValBrancher< ViewSel, ValSel > & | b | ||
) | [inline, protected] |
Constructor for cloning b.
Definition at line 356 of file brancher.hpp.
Gecode::ViewValBrancher< ViewSel, ValSel >::ViewValBrancher | ( | Home | home, |
ViewArray< typename ViewSel::View > & | x, | ||
ViewSel & | vi_s, | ||
ValSel & | va_s, | ||
BranchFilter | bf0 | ||
) | [inline, protected] |
Constructor for creation.
Definition at line 341 of file brancher.hpp.
const Choice * Gecode::ViewValBrancher< ViewSel, ValSel >::choice | ( | Space & | home | ) | [virtual] |
ExecStatus Gecode::ViewValBrancher< ViewSel, ValSel >::commit | ( | Space & | home, |
const Choice & | c, | ||
unsigned int | a | ||
) | [virtual] |
Perform commit for choice c and alternative a.
Implements Gecode::Brancher.
Definition at line 382 of file brancher.hpp.
Actor * Gecode::ViewValBrancher< ViewSel, ValSel >::copy | ( | Space & | home, |
bool | share | ||
) | [virtual] |
size_t Gecode::ViewValBrancher< ViewSel, ValSel >::dispose | ( | Space & | home | ) | [inline, virtual] |
Delete brancher and return its size.
Reimplemented from Gecode::ViewBrancher< ViewSel >.
Definition at line 394 of file brancher.hpp.
void Gecode::ViewValBrancher< ViewSel, ValSel >::post | ( | Home | home, |
ViewArray< typename ViewSel::View > & | x, | ||
ViewSel & | vi_s, | ||
ValSel & | va_s, | ||
BranchFilter | bf = NULL |
||
) | [static] |
Brancher post function.
Definition at line 348 of file brancher.hpp.
ValSel Gecode::ViewValBrancher< ViewSel, ValSel >::valsel [protected] |
Value selection object.
Definition at line 118 of file brancher.hpp.