Generated on Sat Feb 7 2015 02:01:41 for Gecode by doxygen 1.8.9.1

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...
 

Detailed Description

template<class View>
class Gecode::ValSelFunction< View >

User-defined value selection.

Definition at line 67 of file brancher-val-sel.hpp.

Member Typedef Documentation

template<class View>
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.

template<class View>
typedef View::VarType Gecode::ValSelFunction< View >::Var

The corresponding variable type.

Definition at line 76 of file brancher-val-sel.hpp.

template<class View>
typedef BranchTraits<Var>::Val Gecode::ValSelFunction< View >::ValFunction

The corresponding value function.

Definition at line 78 of file brancher-val-sel.hpp.

Constructor & Destructor Documentation

template<class View >
Gecode::ValSelFunction< View >::ValSelFunction ( Space home,
const ValBranch vb 
)
inline

Constructor for initialization.

Definition at line 113 of file brancher-val-sel.hpp.

template<class View>
Gecode::ValSelFunction< View >::ValSelFunction ( Space home,
bool  shared,
ValSelFunction< View > &  vs 
)
inline

Constructor for cloning.

Definition at line 118 of file brancher-val-sel.hpp.

Member Function Documentation

template<class View>
ValSelFunction< View >::Val Gecode::ValSelFunction< View >::val ( const Space home,
View  x,
int  i 
)
inline

Return user-defined value of view x at position i.

Definition at line 123 of file brancher-val-sel.hpp.

Member Data Documentation

template<class View>
ValFunction Gecode::ValSelFunction< View >::v
protected

The user-defined value function.

Definition at line 81 of file brancher-val-sel.hpp.


The documentation for this class was generated from the following file: