Virtualized view selection. More...
#include <brancher-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 ChoiceVirtualBase * | choice (Space &home) |
Return choice. | |
virtual void | commit (Space &home, const ChoiceVirtualBase *d, unsigned int a) |
Commit to choice. | |
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. |
Virtualized view selection.
Definition at line 161 of file brancher-tiebreak.hpp.
Gecode::ViewSelVirtual< ViewSel >::ViewSelVirtual | ( | Space & | home, |
const VarBranchOptions & | vbo | ||
) | [inline] |
Constructor for initialization.
Definition at line 368 of file brancher-tiebreak.hpp.
Gecode::ViewSelVirtual< ViewSel >::ViewSelVirtual | ( | Space & | home, |
bool | share, | ||
ViewSelVirtual< ViewSel > & | vsv | ||
) | [inline] |
Constructor for cloning vsv.
Definition at line 373 of file brancher-tiebreak.hpp.
ViewSelStatus Gecode::ViewSelVirtual< ViewSel >::init | ( | Space & | home, |
typename ViewSel::View | x | ||
) | [virtual] |
Intialize with view x.
Implements Gecode::ViewSelVirtualBase< ViewSel::View >.
Definition at line 379 of file brancher-tiebreak.hpp.
ViewSelStatus Gecode::ViewSelVirtual< ViewSel >::select | ( | Space & | home, |
typename ViewSel::View | x | ||
) | [virtual] |
Possibly select better view x.
Implements Gecode::ViewSelVirtualBase< ViewSel::View >.
Definition at line 384 of file brancher-tiebreak.hpp.
ChoiceVirtualBase * Gecode::ViewSelVirtual< ViewSel >::choice | ( | Space & | home | ) | [virtual] |
Return choice.
Implements Gecode::ViewSelVirtualBase< ViewSel::View >.
Definition at line 389 of file brancher-tiebreak.hpp.
void Gecode::ViewSelVirtual< ViewSel >::commit | ( | Space & | home, |
const ChoiceVirtualBase * | d, | ||
unsigned int | a | ||
) | [virtual] |
Commit to choice.
Implements Gecode::ViewSelVirtualBase< ViewSel::View >.
Definition at line 394 of file brancher-tiebreak.hpp.
ViewSelVirtualBase< typename ViewSel::View > * Gecode::ViewSelVirtual< ViewSel >::copy | ( | Space & | home, |
bool | share | ||
) | [virtual] |
Create copy during cloning.
Implements Gecode::ViewSelVirtualBase< ViewSel::View >.
Definition at line 402 of file brancher-tiebreak.hpp.
size_t Gecode::ViewSelVirtual< ViewSel >::dispose | ( | Space & | home | ) | [virtual] |
Delete view selection and returns its size.
Implements Gecode::ViewSelVirtualBase< ViewSel::View >.
Definition at line 407 of file brancher-tiebreak.hpp.
ViewSel Gecode::ViewSelVirtual< ViewSel >::viewsel [protected] |
Static view selection object.
Definition at line 164 of file brancher-tiebreak.hpp.