Gecode::ViewSelTieBreakStatic< A, B > Class Template Reference
[Generic view tie-breaking for branching based on view and value selection]
View selection class for static tie breaking.
More...
#include <branching-tiebreak.hpp>
Classes | |
| class | Desc |
| View selection description. More... | |
Public Types | |
| typedef A::View | View |
| View type. | |
Public Member Functions | |
| ViewSelTieBreakStatic (void) | |
| Default constructor. | |
| ViewSelTieBreakStatic (Space &home, A &a, B &b) | |
| Constructor for initialization. | |
| ViewSelStatus | init (Space &home, typename A::View x) |
| Intialize with view x. | |
| ViewSelStatus | select (Space &home, typename A::View x) |
| Possibly select better view x. | |
| Desc | description (Space &home) |
| Return description. | |
| void | commit (Space &home, const Desc &d, unsigned a) |
| Commit to description. | |
| void | update (Space &home, bool share, ViewSelTieBreakStatic &vs) |
| Updating during cloning. | |
| void | dispose (Space &home) |
| Delete view selection. | |
Protected Attributes | |
| A | a |
| First selection class. | |
| B | b |
| Second selection class. | |
Detailed Description
template<class A, class B>
class Gecode::ViewSelTieBreakStatic< A, B >
View selection class for static tie breaking.
Definition at line 50 of file branching-tiebreak.hpp.
Member Typedef Documentation
template<class A, class B>
| typedef A::View Gecode::ViewSelTieBreakStatic< A, B >::View |
Constructor & Destructor Documentation
template<class A , class B >
| Gecode::ViewSelTieBreakStatic< A, B >::ViewSelTieBreakStatic | ( | void | ) | [inline] |
template<class A , class B >
| Gecode::ViewSelTieBreakStatic< A, B >::ViewSelTieBreakStatic | ( | Space & | home, | |
| A & | a, | |||
| B & | b | |||
| ) | [inline] |
Member Function Documentation
template<class A , class B >
| ViewSelStatus Gecode::ViewSelTieBreakStatic< A, B >::init | ( | Space & | home, | |
| typename A::View | x | |||
| ) | [inline] |
template<class A , class B >
| ViewSelStatus Gecode::ViewSelTieBreakStatic< A, B >::select | ( | Space & | home, | |
| typename A::View | x | |||
| ) | [inline] |
template<class A , class B >
| ViewSelTieBreakStatic< A, B >::Desc Gecode::ViewSelTieBreakStatic< A, B >::description | ( | Space & | home | ) | [inline] |
template<class A, class B>
| void Gecode::ViewSelTieBreakStatic< A, B >::commit | ( | Space & | home, | |
| const Desc & | d, | |||
| unsigned | a | |||
| ) |
Commit to description.
template<class A , class B >
| void Gecode::ViewSelTieBreakStatic< A, B >::update | ( | Space & | home, | |
| bool | share, | |||
| ViewSelTieBreakStatic< A, B > & | vs | |||
| ) | [inline] |
template<class A , class B >
| void Gecode::ViewSelTieBreakStatic< A, B >::dispose | ( | Space & | home | ) | [inline] |
Member Data Documentation
template<class A, class B>
A Gecode::ViewSelTieBreakStatic< A, B >::a [protected] |
template<class A, class B>
B Gecode::ViewSelTieBreakStatic< A, B >::b [protected] |
The documentation for this class was generated from the following file:
- gecode/kernel/branching-tiebreak.hpp (Revision: 8155)