Generated on Fri Jul 13 2018 06:08:34 for Gecode by doxygen 1.8.14

Functions

SetValBranch Gecode::SET_VAL_MIN_INC (void)
 
SetValBranch Gecode::SET_VAL_MIN_EXC (void)
 
Include median Gecode::element (rounding downwards) SetValBranch SET_VAL_MED_INC(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...
 

Detailed Description

Function Documentation

◆ SET_VAL_MIN_INC()

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

Definition at line 59 of file val.hpp.

◆ SET_VAL_MIN_EXC()

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

Definition at line 64 of file val.hpp.

◆ element()

Exclude median Gecode::element ( rounding  downwards)

◆ SET_VAL_MAX_INC()

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

Definition at line 79 of file val.hpp.

◆ SET_VAL_MAX_EXC()

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

Definition at line 84 of file val.hpp.

◆ SET_VAL_RND_INC()

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

Definition at line 89 of file val.hpp.

◆ SET_VAL_RND_EXC()

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

Definition at line 94 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 99 of file val.hpp.