Generated on Sat Aug 25 2012 15:53:12 for Gecode by doxygen 1.7.5
Gecode::Int::Linear::SupportIter Class Reference

Base-class for support-based iterator. More...

#include <int-dom.hpp>

List of all members.

Public Member Functions

void init (Region &r, int a, const IntView &x, Val l, Val u)
 Initialize view.
void support (void)
 Record value at current position as supported.
ModEvent tell (Space &home)
 Tell back new variable domain according to support found.

Protected Attributes

int a
 Integer coefficient for view.
IntView x
 Integer view.
SupportSet s
 Set of support for values in x.
int c
 Current value.
unsigned int p
 Position of current value.
Val l
 Lower bound information for value.
Val u
 Upper bound information for value.

Detailed Description

Base-class for support-based iterator.


Member Function Documentation

void Gecode::Int::Linear::SupportIter::init ( Region r,
int  a,
const IntView x,
Val  l,
Val  u 
) [inline]

Initialize view.

Definition at line 221 of file int-dom.hpp.

void Gecode::Int::Linear::SupportIter::support ( void  ) [inline]

Record value at current position as supported.

Definition at line 228 of file int-dom.hpp.

ModEvent Gecode::Int::Linear::SupportIter::tell ( Space home) [inline]

Tell back new variable domain according to support found.

Definition at line 233 of file int-dom.hpp.


Member Data Documentation

Integer coefficient for view.

Definition at line 89 of file int-dom.hpp.

Integer view.

Definition at line 91 of file int-dom.hpp.

Set of support for values in x.

Definition at line 93 of file int-dom.hpp.

Current value.

Definition at line 95 of file int-dom.hpp.

unsigned int Gecode::Int::Linear::SupportIter::p [protected]

Position of current value.

Definition at line 97 of file int-dom.hpp.

Lower bound information for value.

Definition at line 99 of file int-dom.hpp.

Upper bound information for value.

Definition at line 101 of file int-dom.hpp.


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