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

Which values to select for assignment. More...

#include <int.hh>

Public Types

enum  Select { SEL_MIN , SEL_MAX , SEL_RND , SEL_VAL_COMMIT }
 Which value selection. More...
 
- Public Types inherited from Gecode::ValBranch< BoolVar >
typedef BranchTraits< BoolVar >::Val BranchVal
 The corresponding branching value function.
 
typedef BranchTraits< BoolVar >::Commit BranchCommit
 The corresponding branching commit function.
 

Public Member Functions

 BoolAssign (Select s=SEL_MIN)
 Initialize with selection strategy s.
 
 BoolAssign (Rnd r)
 Initialize with random number generator r.
 
 BoolAssign (BoolBranchVal v, BoolBranchCommit c)
 Initialize with value function f and commit function c.
 
Select select (void) const
 Return selection strategy.
 
- Public Member Functions inherited from Gecode::ValBranch< BoolVar >
 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

Select s
 Which value to select.
 
- Protected Attributes inherited from Gecode::ValBranch< BoolVar >
Rnd r
 Random number generator.
 
BranchVal vf
 Value function.
 
BranchCommit cf
 Commit function.
 

Detailed Description

Which values to select for assignment.

Definition at line 5000 of file int.hh.

Member Enumeration Documentation

◆ Select

Which value selection.

Enumerator
SEL_MIN 

Select smallest value.

SEL_MAX 

Select largest value.

SEL_RND 

Select random value.

SEL_VAL_COMMIT 

Select value according to user-defined functions.

Definition at line 5003 of file int.hh.

Constructor & Destructor Documentation

◆ BoolAssign() [1/3]

Gecode::BoolAssign::BoolAssign ( Select s = SEL_MIN)
inline

Initialize with selection strategy s.

Definition at line 82 of file assign.hpp.

◆ BoolAssign() [2/3]

Gecode::BoolAssign::BoolAssign ( Rnd r)
inline

Initialize with random number generator r.

Definition at line 86 of file assign.hpp.

◆ BoolAssign() [3/3]

Gecode::BoolAssign::BoolAssign ( BoolBranchVal v,
BoolBranchCommit c )
inline

Initialize with value function f and commit function c.

Definition at line 90 of file assign.hpp.

Member Function Documentation

◆ select()

BoolAssign::Select Gecode::BoolAssign::select ( void ) const
inline

Return selection strategy.

Definition at line 94 of file assign.hpp.

Member Data Documentation

◆ s

Select Gecode::BoolAssign::s
protected

Which value to select.

Definition at line 5011 of file int.hh.


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