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