Class for selecting maximum value. More...
#include <branch.hh>
Public Member Functions | |
ValMax (void) | |
Default constructor. | |
ValMax (Space &home, const ValBranchOptions &vbo) | |
Constructor for initialization. | |
int | val (Space &home, SetView x) const |
Return maximum value of view x. | |
ModEvent | tell (Space &home, unsigned int a, SetView x, int v) |
Tell ![]() ![]() |
Class for selecting maximum value.
All value selection classes require
#include <gecode/set/branch.hh>
Gecode::Set::Branch::ValMax< inc >::ValMax | ( | void | ) | [inline] |
Default constructor.
Definition at line 99 of file select-val.hpp.
Gecode::Set::Branch::ValMax< inc >::ValMax | ( | Space & | home, |
const ValBranchOptions & | vbo | ||
) | [inline] |
Constructor for initialization.
Definition at line 102 of file select-val.hpp.
int Gecode::Set::Branch::ValMax< inc >::val | ( | Space & | home, |
SetView | x | ||
) | const [inline] |
Return maximum value of view x.
Definition at line 106 of file select-val.hpp.
ModEvent Gecode::Set::Branch::ValMax< inc >::tell | ( | Space & | home, |
unsigned int | a, | ||
SetView | x, | ||
int | v | ||
) | [inline] |
Tell (a = 0) or
(a = 1)
Definition at line 114 of file select-val.hpp.