Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0

Value branching information. More...

#include <val.hpp>

Public Types

typedef BranchTraits< Var >::Val BranchVal
 The corresponding branching value function.
 
typedef BranchTraits< Var >::Commit BranchCommit
 The corresponding branching commit function.
 

Public Member Functions

 ValBranch (void)
 Initialize.
 
 ValBranch (Rnd r)
 Initialize with random number generator r.
 
 ValBranch (BranchVal v, BranchCommit c)
 Initialize with value function v and commit function c.
 
Rnd rnd (void) const
 Return random number generator.
 
BranchVal val (void) const
 Return value function.
 
BranchCommit commit (void) const
 Return commit function.
 

Protected Attributes

Rnd r
 Random number generator.
 
BranchVal vf
 Value function.
 
BranchCommit cf
 Commit function.
 

Detailed Description

template<class Var>
class Gecode::ValBranch< Var >

Value branching information.

Definition at line 41 of file val.hpp.

Member Typedef Documentation

◆ BranchVal

template<class Var >
BranchTraits<Var>::Val Gecode::ValBranch< Var >::BranchVal

The corresponding branching value function.

Definition at line 44 of file val.hpp.

◆ BranchCommit

template<class Var >
BranchTraits<Var>::Commit Gecode::ValBranch< Var >::BranchCommit

The corresponding branching commit function.

Definition at line 46 of file val.hpp.

Constructor & Destructor Documentation

◆ ValBranch() [1/3]

template<class Var >
Gecode::ValBranch< Var >::ValBranch ( void )
inline

Initialize.

Definition at line 72 of file val.hpp.

◆ ValBranch() [2/3]

template<class Var >
Gecode::ValBranch< Var >::ValBranch ( Rnd r)
inline

Initialize with random number generator r.

Definition at line 77 of file val.hpp.

◆ ValBranch() [3/3]

template<class Var >
Gecode::ValBranch< Var >::ValBranch ( BranchVal v,
BranchCommit c )
inline

Initialize with value function v and commit function c.

Definition at line 85 of file val.hpp.

Member Function Documentation

◆ rnd()

template<class Var >
Rnd Gecode::ValBranch< Var >::rnd ( void ) const
inline

Return random number generator.

Definition at line 90 of file val.hpp.

◆ val()

template<class Var >
ValBranch< Var >::BranchVal Gecode::ValBranch< Var >::val ( void ) const
inline

Return value function.

Definition at line 96 of file val.hpp.

◆ commit()

template<class Var >
ValBranch< Var >::BranchCommit Gecode::ValBranch< Var >::commit ( void ) const
inline

Return commit function.

Definition at line 102 of file val.hpp.

Member Data Documentation

◆ r

template<class Var >
Rnd Gecode::ValBranch< Var >::r
protected

Random number generator.

Definition at line 49 of file val.hpp.

◆ vf

template<class Var >
BranchVal Gecode::ValBranch< Var >::vf
protected

Value function.

Definition at line 51 of file val.hpp.

◆ cf

template<class Var >
BranchCommit Gecode::ValBranch< Var >::cf
protected

Commit function.

Definition at line 53 of file val.hpp.


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