Generated on Fri Oct 19 11:25:48 2018 for Gecode by doxygen 1.6.3

Gecode::ValBranch< Var > Class Template Reference
[Generic branching support]

Value branching information. More...

#include <val.hpp>

List of all members.

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

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

The corresponding branching value function.

Definition at line 44 of file val.hpp.

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

The corresponding branching commit function.

Definition at line 46 of file val.hpp.


Constructor & Destructor Documentation

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

Initialize.

Definition at line 72 of file val.hpp.

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

Initialize with random number generator r.

Definition at line 77 of file val.hpp.

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

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

Return random number generator.

Definition at line 90 of file val.hpp.

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

Return value function.

Definition at line 96 of file val.hpp.

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

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

Random number generator.

Definition at line 49 of file val.hpp.

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

Value function.

Definition at line 51 of file val.hpp.

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: