Generated on Wed Jan 4 17:49:24 2006 for Gecode by doxygen 1.4.6

Gecode::Set::Branch::ValMax Class Reference
[Set value selection for branching]

#include <branch.hh>

List of all members.


Detailed Description

Class for selecting maximum value.

All value selection classes require

 #include "set/branch.hh" 

Definition at line 64 of file branch.hh.

Public Member Functions

int val (SetView x)
 Return maximum value of view x.
ModEvent tell (Space *home, unsigned int a, SetView x, int v)
 Tell $v\in x$ (a = 0) or $v\notin x$ (a = 1).


Member Function Documentation

int Gecode::Set::Branch::ValMax::val SetView  x  )  [inline]
 

Return maximum value of view x.

Definition at line 41 of file select-val.icc.

ModEvent Gecode::Set::Branch::ValMax::tell Space home,
unsigned int  a,
SetView  x,
int  v
[inline]
 

Tell $v\in x$ (a = 0) or $v\notin x$ (a = 1).

Definition at line 51 of file select-val.icc.


The documentation for this class was generated from the following files: