User-defined value selection. More...
#include <brancher-val-sel.hpp>
Public Types | |
typedef ValSel< View, typename BranchTraits< typename View::VarType >::ValType >::Val | Val |
The corresponding value type. More... | |
typedef View::VarType | Var |
The corresponding variable type. More... | |
typedef BranchTraits< Var >::Val | ValFunction |
The corresponding value function. More... | |
![]() | |
typedef View | View |
View type. More... | |
typedef BranchTraits< View::VarType >::ValType | Val |
Value type. More... | |
Public Member Functions | |
ValSelFunction (Space &home, const ValBranch &vb) | |
Constructor for initialization. More... | |
ValSelFunction (Space &home, bool shared, ValSelFunction< View > &vs) | |
Constructor for cloning. More... | |
Val | val (const Space &home, View x, int i) |
Return user-defined value of view x at position i. More... | |
![]() | |
ValSel (Space &home, const ValBranch &vb) | |
Constructor for initialization. More... | |
ValSel (Space &home, bool shared, ValSel< View, Val > &vs) | |
Constructor for cloning. More... | |
bool | notice (void) const |
Whether dispose must always be called (that is, notice is needed) More... | |
void | dispose (Space &home) |
Delete value selection. More... | |
Protected Attributes | |
ValFunction | v |
The user-defined value function. More... | |
User-defined value selection.
Definition at line 67 of file brancher-val-sel.hpp.
typedef ValSel<View, typename BranchTraits<typename View::VarType>::ValType>::Val Gecode::ValSelFunction< View >::Val |
The corresponding value type.
Definition at line 74 of file brancher-val-sel.hpp.
typedef View::VarType Gecode::ValSelFunction< View >::Var |
The corresponding variable type.
Definition at line 76 of file brancher-val-sel.hpp.
typedef BranchTraits<Var>::Val Gecode::ValSelFunction< View >::ValFunction |
The corresponding value function.
Definition at line 78 of file brancher-val-sel.hpp.
|
inline |
Constructor for initialization.
Definition at line 113 of file brancher-val-sel.hpp.
|
inline |
Constructor for cloning.
Definition at line 118 of file brancher-val-sel.hpp.
|
inline |
Return user-defined value of view x at position i.
Definition at line 123 of file brancher-val-sel.hpp.
|
protected |
The user-defined value function.
Definition at line 81 of file brancher-val-sel.hpp.