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. |
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.
Gecode::ViewBrancher< ViewSel >::ViewBrancher | ( | Space & | home, |
bool | share, | ||
ViewBrancher< ViewSel > & | b | ||
) | [inline, protected] |
Constructor for cloning b.
Definition at line 269 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 261 of file brancher.hpp.
Pos Gecode::ViewBrancher< ViewSel >::pos | ( | Space & | home | ) | [inline, protected] |
Return position information.
Definition at line 299 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 319 of file brancher.hpp.
bool Gecode::ViewBrancher< ViewSel >::status | ( | const Space & | home | ) | const [virtual] |
Check status of brancher, return true if alternatives left.
Implements Gecode::Brancher.
Definition at line 278 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 325 of file brancher.hpp.
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.