Generated on Tue Apr 18 10:23:14 2017 for Gecode by doxygen 1.6.3

Gecode::ViewBrancher< View, Filter, n > Class Template Reference
[Generic brancher based on view selection]

Generic brancher by view selection. More...

#include <brancher-view.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 Types

typedef View::VarType Var
 The corresponding variable.

Protected Member Functions

Pos pos (Space &home)
 Return position information.
View view (const Pos &p) const
 Return view according to position information p.
 ViewBrancher (Space &home, bool shared, ViewBrancher< View, Filter, n > &b)
 Constructor for cloning b.
 ViewBrancher (Home home, ViewArray< View > &x, ViewSel< View > *vs[n], BranchFilter< Var > bf)
 Constructor for creation.

Protected Attributes

ViewArray< View > x
 Views to branch on.
int start
 Unassigned views start at x[start].
ViewSel< View > * vs [n]
 View selection objects.
Filter f
 Filter function.

Detailed Description

template<class View, class Filter, int n>
class Gecode::ViewBrancher< View, Filter, n >

Generic brancher by view selection.

Defined for views of type View and n view selectors for tie-breaking.

Definition at line 79 of file brancher-view.hpp.


Member Typedef Documentation

template<class View, class Filter, int n>
typedef View::VarType Gecode::ViewBrancher< View, Filter, n >::Var [protected]

The corresponding variable.

Reimplemented in Gecode::ViewValBrancher< View, n, Val, a, Filter, Print >.

Definition at line 82 of file brancher-view.hpp.


Constructor & Destructor Documentation

template<class View, class Filter, int n>
Gecode::ViewBrancher< View, Filter, n >::ViewBrancher ( Space home,
bool  shared,
ViewBrancher< View, Filter, n > &  b 
) [inline, protected]

Constructor for cloning b.

Definition at line 155 of file brancher-view.hpp.

template<class View, class Filter, int n>
Gecode::ViewBrancher< View, Filter, n >::ViewBrancher ( Home  home,
ViewArray< View > &  x,
ViewSel< View > *  vs[n],
BranchFilter< Var bf 
) [inline, protected]

Constructor for creation.

Definition at line 140 of file brancher-view.hpp.


Member Function Documentation

template<class View , class Filter , int n>
Pos Gecode::ViewBrancher< View, Filter, n >::pos ( Space home  )  [inline, protected]

Return position information.

Definition at line 177 of file brancher-view.hpp.

template<class View , class Filter , int n>
View Gecode::ViewBrancher< View, Filter, n >::view ( const Pos p  )  const [inline, protected]

Return view according to position information p.

Definition at line 217 of file brancher-view.hpp.

template<class View , class Filter , int n>
bool Gecode::ViewBrancher< View, Filter, n >::status ( const Space home  )  const [inline, virtual]

Check status of brancher, return true if alternatives left.

Implements Gecode::Brancher.

Definition at line 166 of file brancher-view.hpp.

template<class View , class Filter , int n>
size_t Gecode::ViewBrancher< View, Filter, n >::dispose ( Space home  )  [inline, virtual]

Member Data Documentation

template<class View, class Filter, int n>
ViewArray<View> Gecode::ViewBrancher< View, Filter, n >::x [protected]

Views to branch on.

Definition at line 84 of file brancher-view.hpp.

template<class View, class Filter, int n>
int Gecode::ViewBrancher< View, Filter, n >::start [mutable, protected]

Unassigned views start at x[start].

Definition at line 86 of file brancher-view.hpp.

template<class View, class Filter, int n>
ViewSel<View>* Gecode::ViewBrancher< View, Filter, n >::vs[n] [protected]

View selection objects.

Definition at line 88 of file brancher-view.hpp.

template<class View, class Filter, int n>
Filter Gecode::ViewBrancher< View, Filter, n >::f [protected]

Filter function.

Definition at line 90 of file brancher-view.hpp.


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