Generated on Wed Nov 1 15:05:23 2006 for Gecode by doxygen 1.4.5
Gecode::Set::Branch::ValMin

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

#include <branch.hh>

List of all members.

Detailed Description

Class for selecting minimum value.

All value selection classes require 

 #include "gecode/set/branch.hh"

Definition at line 54 of file branch.hh.

Public Member Functions

int val (const Space *home, SetView x) const
 Return minimum 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::ValMin::val (  const Space *  home,
SetView  x
)  const [inline]
 

Return minimum value of view x.

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

ModEvent Gecode::Set::Branch::ValMin::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 36 of file select-val.icc.

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