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

Gecode::Int::Branch::ValSplitMax Class Reference
[Integer value selection for branching]

#include <branch.hh>

List of all members.


Detailed Description

Class for splitting domain (upper half first).

Requires

 #include "int/branch.hh" 

Definition at line 105 of file branch.hh.

Public Member Functions

int val (IntView x)
 Return minimum value of view x.
ModEvent tell (Space *home, unsigned int a, IntView x, int n)
 Tell $x>n$ (a = 0) or $x\leq n$ (a = 1).


Member Function Documentation

int Gecode::Int::Branch::ValSplitMax::val IntView  x  )  [inline]
 

Return minimum value of view x.

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

ModEvent Gecode::Int::Branch::ValSplitMax::tell Space home,
unsigned int  a,
IntView  x,
int  n
[inline]
 

Tell $x>n$ (a = 0) or $x\leq n$ (a = 1).

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


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