Value selection class for maximum of view. More...
#include <branch.hh>
Public Member Functions | |
ValSelMax (Space &home, const ValBranch &vb) | |
Constructor for initialization. | |
ValSelMax (Space &home, bool shared, ValSelMax &vs) | |
Constructor for cloning. | |
int | val (const Space &home, SetView x, int i) |
Return value of view x at position i. |
Gecode::Set::Branch::ValSelMax::ValSelMax | ( | Space & | home, |
const ValBranch & | vb | ||
) | [inline] |
Constructor for initialization.
Definition at line 59 of file val-sel.hpp.
Gecode::Set::Branch::ValSelMax::ValSelMax | ( | Space & | home, |
bool | shared, | ||
ValSelMax & | vs | ||
) | [inline] |
Constructor for cloning.
Definition at line 62 of file val-sel.hpp.
int Gecode::Set::Branch::ValSelMax::val | ( | const Space & | home, |
SetView | x, | ||
int | i | ||
) | [inline] |
Return value of view x at position i.
Definition at line 65 of file val-sel.hpp.