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