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

SetValBranch Gecode::SET_VAL_MIN_INC (void)
 
SetValBranch Gecode::SET_VAL_MIN_EXC (void)
 
SetValBranch Gecode::SET_VAL_MED_INC (void)
 
SetValBranch Gecode::SET_VAL_MED_EXC (void)
 
SetValBranch Gecode::SET_VAL_MAX_INC (void)
 
SetValBranch Gecode::SET_VAL_MAX_EXC (void)
 
SetValBranch Gecode::SET_VAL_RND_INC (Rnd r)
 
SetValBranch Gecode::SET_VAL_RND_EXC (Rnd r)
 
SetValBranch Gecode::SET_VAL (SetBranchVal v, SetBranchCommit c=nullptr)
 Select value as defined by the value function v and commit function c. More...
 

Function Documentation

◆ SET_VAL_MIN_INC()

Include smallest element SetValBranch Gecode::SET_VAL_MIN_INC ( void  )
inline

Definition at line 55 of file val.hpp.

◆ SET_VAL_MIN_EXC()

Exclude smallest element SetValBranch Gecode::SET_VAL_MIN_EXC ( void  )
inline

Definition at line 60 of file val.hpp.

◆ SET_VAL_MED_INC()

SetValBranch Gecode::SET_VAL_MED_INC ( void  )
inline

Definition at line 65 of file val.hpp.

◆ SET_VAL_MED_EXC()

SetValBranch Gecode::SET_VAL_MED_EXC ( void  )
inline

Definition at line 70 of file val.hpp.

◆ SET_VAL_MAX_INC()

Include largest element SetValBranch Gecode::SET_VAL_MAX_INC ( void  )
inline

Definition at line 75 of file val.hpp.

◆ SET_VAL_MAX_EXC()

Exclude largest element SetValBranch Gecode::SET_VAL_MAX_EXC ( void  )
inline

Definition at line 80 of file val.hpp.

◆ SET_VAL_RND_INC()

Include random element SetValBranch Gecode::SET_VAL_RND_INC ( Rnd  r)
inline

Definition at line 85 of file val.hpp.

◆ SET_VAL_RND_EXC()

Exclude random element SetValBranch Gecode::SET_VAL_RND_EXC ( Rnd  r)
inline

Definition at line 90 of file val.hpp.

◆ SET_VAL()

SetValBranch Gecode::SET_VAL ( SetBranchVal  v,
SetBranchCommit  c = nullptr 
)
inline

Select value as defined by the value function v and commit function c.

The default commit function posts the constraint that the value n must be included in the set variable x for the first alternative, and that n must be excluded from x otherwise.

Definition at line 95 of file val.hpp.