Generated on Tue Jan 26 2021 00:00:00 for Gecode by doxygen 1.9.1
val.hpp File Reference

Go to the source code of this file.

Functions

IntValBranch Gecode::INT_VAL_MIN (void)
 Select smallest value. More...
 
IntValBranch Gecode::INT_VAL_MED (void)
 Select greatest value not greater than the median. More...
 
IntValBranch Gecode::INT_VAL_MAX (void)
 Select largest value. More...
 
IntValBranch Gecode::INT_VAL_RND (Rnd r)
 Select random value. More...
 
IntValBranch Gecode::INT_VAL_SPLIT_MIN (void)
 Select values not greater than mean of smallest and largest value. More...
 
IntValBranch Gecode::INT_VAL_SPLIT_MAX (void)
 Select values greater than mean of smallest and largest value. More...
 
IntValBranch Gecode::INT_VAL_RANGE_MIN (void)
 Select the smallest range of the variable domain if it has several ranges, otherwise select values not greater than mean of smallest and largest value. More...
 
IntValBranch Gecode::INT_VAL_RANGE_MAX (void)
 Select the largest range of the variable domain if it has several ranges, otherwise select values greater than mean of smallest and largest value. More...
 
IntValBranch Gecode::INT_VAL (IntBranchVal v, IntBranchCommit c=nullptr)
 Select value as defined by the value function v and commit function c Uses a commit function as default that posts the constraints that a variable x must be equal to a value n for the first alternative and that x must be different from n for the second alternative. More...
 
IntValBranch Gecode::INT_VALUES_MIN (void)
 Try all values starting from smallest. More...
 
IntValBranch Gecode::INT_VALUES_MAX (void)
 Try all values starting from largest. More...
 
BoolValBranch Gecode::BOOL_VAL_MIN (void)
 Select smallest value. More...
 
BoolValBranch Gecode::BOOL_VAL_MAX (void)
 Select largest value. More...
 
BoolValBranch Gecode::BOOL_VAL_RND (Rnd r)
 Select random value. More...
 
BoolValBranch Gecode::BOOL_VAL (BoolBranchVal v, BoolBranchCommit c=nullptr)
 Select value as defined by the value function v and commit function c Uses a commit function as default that posts the constraints that a variable x must be equal to a value n for the first alternative and that x must be different from n for the second alternative. More...
 

Function Documentation

◆ INT_VAL_MIN()

IntValBranch Gecode::INT_VAL_MIN ( void  )
inline

Select smallest value.

Definition at line 55 of file val.hpp.

◆ INT_VAL_MED()

IntValBranch Gecode::INT_VAL_MED ( void  )
inline

Select greatest value not greater than the median.

Definition at line 60 of file val.hpp.

◆ INT_VAL_MAX()

IntValBranch Gecode::INT_VAL_MAX ( void  )
inline

Select largest value.

Definition at line 65 of file val.hpp.

◆ INT_VAL_RND()

IntValBranch Gecode::INT_VAL_RND ( Rnd  r)
inline

Select random value.

Definition at line 70 of file val.hpp.

◆ INT_VAL_SPLIT_MIN()

IntValBranch Gecode::INT_VAL_SPLIT_MIN ( void  )
inline

Select values not greater than mean of smallest and largest value.

Definition at line 75 of file val.hpp.

◆ INT_VAL_SPLIT_MAX()

IntValBranch Gecode::INT_VAL_SPLIT_MAX ( void  )
inline

Select values greater than mean of smallest and largest value.

Definition at line 80 of file val.hpp.

◆ INT_VAL_RANGE_MIN()

IntValBranch Gecode::INT_VAL_RANGE_MIN ( void  )
inline

Select the smallest range of the variable domain if it has several ranges, otherwise select values not greater than mean of smallest and largest value.

Definition at line 85 of file val.hpp.

◆ INT_VAL_RANGE_MAX()

IntValBranch Gecode::INT_VAL_RANGE_MAX ( void  )
inline

Select the largest range of the variable domain if it has several ranges, otherwise select values greater than mean of smallest and largest value.

Definition at line 90 of file val.hpp.

◆ INT_VAL()

IntValBranch Gecode::INT_VAL ( IntBranchVal  v,
IntBranchCommit  c 
)
inline

Select value as defined by the value function v and commit function c Uses a commit function as default that posts the constraints that a variable x must be equal to a value n for the first alternative and that x must be different from n for the second alternative.

Definition at line 95 of file val.hpp.

◆ INT_VALUES_MIN()

IntValBranch Gecode::INT_VALUES_MIN ( void  )
inline

Try all values starting from smallest.

Definition at line 100 of file val.hpp.

◆ INT_VALUES_MAX()

IntValBranch Gecode::INT_VALUES_MAX ( void  )
inline

Try all values starting from largest.

Definition at line 105 of file val.hpp.

◆ BOOL_VAL_MIN()

BoolValBranch Gecode::BOOL_VAL_MIN ( void  )
inline

Select smallest value.

Definition at line 130 of file val.hpp.

◆ BOOL_VAL_MAX()

BoolValBranch Gecode::BOOL_VAL_MAX ( void  )
inline

Select largest value.

Definition at line 135 of file val.hpp.

◆ BOOL_VAL_RND()

BoolValBranch Gecode::BOOL_VAL_RND ( Rnd  r)
inline

Select random value.

Definition at line 140 of file val.hpp.

◆ BOOL_VAL()

BoolValBranch Gecode::BOOL_VAL ( BoolBranchVal  v,
BoolBranchCommit  c 
)
inline

Select value as defined by the value function v and commit function c Uses a commit function as default that posts the constraints that a variable x must be equal to a value n for the first alternative and that x must be different from n for the second alternative.

Definition at line 145 of file val.hpp.