Select a view randomly. More...
#include <brancher-view-sel.hpp>
Protected Attributes | |
Rnd | r |
The random number generator used. | |
Initialization | |
ViewSelRnd (Space &home, const VarBranch &vb) | |
Constructor for creation. | |
ViewSelRnd (Space &home, bool shared, ViewSelRnd< View > &vs) | |
Constructor for copying during cloning. | |
View selection and tie breaking | |
virtual int | select (Space &home, ViewArray< View > &x, int s) |
Select a view from x starting from s and return its position. | |
virtual int | select (Space &home, ViewArray< View > &x, int s, BranchFilter bf) |
Select a view from x starting from s and return its position. | |
virtual void | ties (Space &home, ViewArray< View > &x, int s, int *ties, int &n) |
Select ties from x starting from s. | |
virtual void | ties (Space &home, ViewArray< View > &x, int s, int *ties, int &n, BranchFilter bf) |
Select ties from x starting from s. | |
virtual void | brk (Space &home, ViewArray< View > &x, int *ties, int &n) |
Break ties in x and update to new ties. | |
virtual int | select (Space &home, ViewArray< View > &x, int *ties, int n) |
Select a view from x considering view with positions in ties. | |
Resource management and cloning | |
virtual ViewSel< View > * | copy (Space &home, bool shared) |
Create copy during cloning. |
Select a view randomly.
Definition at line 142 of file brancher-view-sel.hpp.
Gecode::ViewSelRnd< View >::ViewSelRnd | ( | Space & | home, |
const VarBranch & | vb | ||
) | [inline] |
Constructor for creation.
Definition at line 448 of file brancher-view-sel.hpp.
Gecode::ViewSelRnd< View >::ViewSelRnd | ( | Space & | home, |
bool | shared, | ||
ViewSelRnd< View > & | vs | ||
) | [inline] |
Constructor for copying during cloning.
Definition at line 452 of file brancher-view-sel.hpp.
int Gecode::ViewSelRnd< View >::select | ( | Space & | home, |
ViewArray< View > & | x, | ||
int | s | ||
) | [virtual] |
Select a view from x starting from s and return its position.
Implements Gecode::ViewSel< View >.
Definition at line 456 of file brancher-view-sel.hpp.
int Gecode::ViewSelRnd< View >::select | ( | Space & | home, |
ViewArray< View > & | x, | ||
int | s, | ||
BranchFilter | bf | ||
) | [virtual] |
Select a view from x starting from s and return its position.
Definition at line 468 of file brancher-view-sel.hpp.
void Gecode::ViewSelRnd< View >::ties | ( | Space & | home, |
ViewArray< View > & | x, | ||
int | s, | ||
int * | ties, | ||
int & | n | ||
) | [virtual] |
Select ties from x starting from s.
Implements Gecode::ViewSel< View >.
Definition at line 484 of file brancher-view-sel.hpp.
void Gecode::ViewSelRnd< View >::ties | ( | Space & | home, |
ViewArray< View > & | x, | ||
int | s, | ||
int * | ties, | ||
int & | n, | ||
BranchFilter | bf | ||
) | [virtual] |
Select ties from x starting from s.
Definition at line 490 of file brancher-view-sel.hpp.
void Gecode::ViewSelRnd< View >::brk | ( | Space & | home, |
ViewArray< View > & | x, | ||
int * | ties, | ||
int & | n | ||
) | [virtual] |
Break ties in x and update to new ties.
Implements Gecode::ViewSel< View >.
Definition at line 496 of file brancher-view-sel.hpp.
int Gecode::ViewSelRnd< View >::select | ( | Space & | home, |
ViewArray< View > & | x, | ||
int * | ties, | ||
int | n | ||
) | [virtual] |
Select a view from x considering view with positions in ties.
Implements Gecode::ViewSel< View >.
Definition at line 502 of file brancher-view-sel.hpp.
ViewSel< View > * Gecode::ViewSelRnd< View >::copy | ( | Space & | home, |
bool | shared | ||
) | [virtual] |
Create copy during cloning.
Implements Gecode::ViewSel< View >.
Definition at line 507 of file brancher-view-sel.hpp.
Rnd Gecode::ViewSelRnd< View >::r [protected] |
The random number generator used.
Definition at line 146 of file brancher-view-sel.hpp.