Gecode::ViewSelVirtual< ViewSel > Class Template Reference
[Generic view tie-breaking for branching based on view and value selection]
Virtualized view selection.
More...
#include <branching-tiebreak.hpp>
Public Member Functions | |
| ViewSelVirtual (Space &home, const VarBranchOptions &vbo) | |
| Constructor for initialization. | |
| ViewSelVirtual (Space &home, bool share, ViewSelVirtual &vsv) | |
| Constructor for cloning vsv. | |
| virtual ViewSelStatus | init (Space &home, typename ViewSel::View x) |
| Intialize with view x. | |
| virtual ViewSelStatus | select (Space &home, typename ViewSel::View x) |
| Possibly select better view x. | |
| virtual DescVirtualBase * | description (Space &home) |
| Return description. | |
| virtual void | commit (Space &home, const DescVirtualBase *d, unsigned a) |
| Commit to description. | |
| virtual ViewSelVirtualBase < typename ViewSel::View > * | copy (Space &home, bool share) |
| Create copy during cloning. | |
| virtual size_t | dispose (Space &home) |
| Delete view selection and returns its size. | |
Protected Attributes | |
| ViewSel | viewsel |
| Static view selection object. | |
Detailed Description
template<class ViewSel>
class Gecode::ViewSelVirtual< ViewSel >
Virtualized view selection.
Definition at line 160 of file branching-tiebreak.hpp.
Constructor & Destructor Documentation
| Gecode::ViewSelVirtual< ViewSel >::ViewSelVirtual | ( | Space & | home, | |
| const VarBranchOptions & | vbo | |||
| ) | [inline] |
| Gecode::ViewSelVirtual< ViewSel >::ViewSelVirtual | ( | Space & | home, | |
| bool | share, | |||
| ViewSelVirtual< ViewSel > & | vsv | |||
| ) | [inline] |
Member Function Documentation
| ViewSelStatus Gecode::ViewSelVirtual< ViewSel >::init | ( | Space & | home, | |
| typename ViewSel::View | x | |||
| ) | [inline, virtual] |
Intialize with view x.
Implements Gecode::ViewSelVirtualBase< ViewSel::View >.
Definition at line 375 of file branching-tiebreak.hpp.
| ViewSelStatus Gecode::ViewSelVirtual< ViewSel >::select | ( | Space & | home, | |
| typename ViewSel::View | x | |||
| ) | [inline, virtual] |
Possibly select better view x.
Implements Gecode::ViewSelVirtualBase< ViewSel::View >.
Definition at line 380 of file branching-tiebreak.hpp.
| DescVirtualBase * Gecode::ViewSelVirtual< ViewSel >::description | ( | Space & | home | ) | [inline, virtual] |
Return description.
Implements Gecode::ViewSelVirtualBase< ViewSel::View >.
Definition at line 385 of file branching-tiebreak.hpp.
| virtual void Gecode::ViewSelVirtual< ViewSel >::commit | ( | Space & | home, | |
| const DescVirtualBase * | d, | |||
| unsigned | a | |||
| ) | [virtual] |
| ViewSelVirtualBase< typename ViewSel::View > * Gecode::ViewSelVirtual< ViewSel >::copy | ( | Space & | home, | |
| bool | share | |||
| ) | [inline, virtual] |
Create copy during cloning.
Implements Gecode::ViewSelVirtualBase< ViewSel::View >.
Definition at line 398 of file branching-tiebreak.hpp.
| size_t Gecode::ViewSelVirtual< ViewSel >::dispose | ( | Space & | home | ) | [inline, virtual] |
Delete view selection and returns its size.
Implements Gecode::ViewSelVirtualBase< ViewSel::View >.
Definition at line 403 of file branching-tiebreak.hpp.
Member Data Documentation
ViewSel Gecode::ViewSelVirtual< ViewSel >::viewsel [protected] |
The documentation for this class was generated from the following file:
- gecode/kernel/branching-tiebreak.hpp (Revision: 8155)