
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... | |
Public Types inherited from Gecode::ValSel< View, BranchTraits< View::VarType >::ValType > | |
| 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... | |
Public Member Functions inherited from Gecode::ValSel< View, BranchTraits< View::VarType >::ValType > | |
| 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.