Generated on Sat Aug 25 2012 15:53:09 for Gecode by doxygen 1.7.5
Gecode::ViewBrancher Class Reference

Generic brancher by view selection. More...

#include <brancher.hpp>

List of all members.

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.

Detailed Description

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).


Constructor & Destructor Documentation

Gecode::ViewBrancher::ViewBrancher ( Space home,
bool  share,
ViewBrancher b 
) [inline, protected]

Constructor for cloning b.

Definition at line 288 of file brancher.hpp.

Gecode::ViewBrancher::ViewBrancher ( Home  home,
ViewArray< typename ViewSel::View > &  x,
ViewSel &  vi_s,
BranchFilter  bf0 = NULL 
) [inline, protected]

Constructor for creation.

Definition at line 280 of file brancher.hpp.


Member Function Documentation

Pos Gecode::ViewBrancher::pos ( Space home) [inline, protected]

Return position information.

Definition at line 318 of file brancher.hpp.

ViewSel::View Gecode::ViewBrancher::view ( const Pos p) const [inline, protected]

Return view according to position information p.

Definition at line 338 of file brancher.hpp.

bool Gecode::ViewBrancher::status ( const Space home) const [virtual]

Check status of brancher, return true if alternatives left.

Implements Gecode::Brancher.

Definition at line 297 of file brancher.hpp.

size_t Gecode::ViewBrancher::dispose ( Space home) [inline, virtual]

Delete brancher and return its size.

Reimplemented from Gecode::Actor.

Reimplemented in Gecode::ViewValBrancher.

Definition at line 344 of file brancher.hpp.


Member Data Documentation

ViewArray<typename ViewSel::View> Gecode::ViewBrancher::x [protected]

Views to branch on.

Definition at line 79 of file brancher.hpp.

int Gecode::ViewBrancher::start [mutable, protected]

Unassigned views start at x[start].

Definition at line 81 of file brancher.hpp.

ViewSel Gecode::ViewBrancher::viewsel [protected]

View selection object.

Definition at line 83 of file brancher.hpp.

Branch filter function.

Definition at line 85 of file brancher.hpp.


The documentation for this class was generated from the following file: