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

Gecode::Int::GCC::IdxView Class Reference

List of all members.

Detailed Description

Card integer view.

Definition at line 952 of file occur.icc.

Constructors and initialization

 IdxView (void)
 Default constructor.
 IdxView (const IntView &x, int index)
 Initialize with integer view x and offset c.
void init (const IntView &x, int c)
 Initialize with integer view x and offset c.
int index (void) const
 Return the current variable index.
void index (int i)
 Set the current variable index to i.
int oldindex (void) const
 Return the initial variable index (before propagation).
void oldindex (int i)
 Set the initial variable index (before propagation).

Value access

void operator= (const IntView &x)
int min (void) const
 Return minimum of domain.
int max (void) const
 Return maximum of domain.
int med (void) const
 Return median of domain.
int val (void) const
 Return assigned value (only if assigned).
unsigned int size (void) const
 Return size (cardinality) of domain.
unsigned int width (void) const
 Return width of domain (distance between maximum and minimum).
unsigned int regret_min (void) const
 Return regret of domain minimum (distance to next larger value).
unsigned int regret_max (void) const
 Return regret of domain maximum (distance to next smaller value).

Domain tests

bool range (void) const
 Test whether domain is a range.
bool assigned (void) const
 Test whether view is assigned.
bool in (int n) const
 Test whether n is contained in domain.
bool in (double n) const
 Test whether n is contained in domain.

Domain update by value

ModEvent lq (Space *home, int n)
 Restrict domain values to be less or equal than n.
ModEvent lq (Space *home, double n)
 Restrict domain values to be less or equal than n.
ModEvent le (Space *home, int n)
 Restrict domain values to be less than n.
ModEvent le (Space *home, double n)
 Restrict domain values to be less than n.
ModEvent gq (Space *home, int n)
 Restrict domain values to be greater or equal than n.
ModEvent gq (Space *home, double n)
 Restrict domain values to be greater or equal than n.
ModEvent gr (Space *home, int n)
 Restrict domain values to be greater than n.
ModEvent gr (Space *home, double n)
 Restrict domain values to be greater than n.
ModEvent nq (Space *home, int n)
 Restrict domain values to be different from n.
ModEvent nq (Space *home, double n)
 Restrict domain values to be different from n.
ModEvent eq (Space *home, int n)
 Restrict domain values to be equal to n.
ModEvent eq (Space *home, double n)
 Restrict domain values to be equal to n.

Domain update by range iterator

template<class I>
ModEvent narrow (Space *home, I &i)
 Replace domain by range sequence described by i.
template<class I>
ModEvent inter (Space *home, I &i)
 Intersect domain with range sequence described by i.
template<class I>
ModEvent minus (Space *home, I &i)
 Remove from domain the range sequence described by i.

Dependencies

void subscribe (Space *home, Propagator *p, PropCond pc)
 Subscribe propagator p with propagation condition pc to view.
void cancel (Propagator *p, PropCond pc)
 Cancel subscription of propagator p with propagation condition pc to view.

Cloning

void update (Space *home, bool share, IdxView &x)
 Update this view to be a clone of view x.

View comparison

bool operator== (const IdxView &x) const
 Test whether this view is the same as x.
bool operator!= (const IdxView &x) const
 Test whether this view is not the same as x.
bool operator< (const IdxView &x) const
 Test whether this view is smaller than x (arbitrary order).
bool operator> (const IdxView &x) const
 Test whether this view is larger than x (arbitrary order).

Propagator modification events

static ModEvent pme (const Propagator *p)
 Return modification event of propagator p for view.
static PropModEvent pme (ModEvent me)
 Translate modification event me to propagator modification event for view.

Protected Attributes

int newidx
 Index in the original problem specification.
int oldidx


Constructor & Destructor Documentation

Gecode::Int::GCC::IdxView::IdxView void   )  [inline]
 

Default constructor.

Definition at line 1091 of file occur.icc.

Gecode::Int::GCC::IdxView::IdxView const IntView x,
int  index
[inline]
 

Initialize with integer view x and offset c.

Definition at line 1094 of file occur.icc.


Member Function Documentation

void Gecode::Int::GCC::IdxView::init const IntView x,
int  c
[inline]
 

Initialize with integer view x and offset c.

Definition at line 1098 of file occur.icc.

int Gecode::Int::GCC::IdxView::index void   )  const [inline]
 

Return the current variable index.

Definition at line 1104 of file occur.icc.

void Gecode::Int::GCC::IdxView::index int  i  )  [inline]
 

Set the current variable index to i.

Definition at line 1108 of file occur.icc.

int Gecode::Int::GCC::IdxView::oldindex void   )  const [inline]
 

Return the initial variable index (before propagation).

Definition at line 1113 of file occur.icc.

void Gecode::Int::GCC::IdxView::oldindex int  i  )  [inline]
 

Set the initial variable index (before propagation).

Definition at line 1117 of file occur.icc.

void Gecode::Int::GCC::IdxView::operator= const IntView x  )  [inline]
 

Definition at line 1127 of file occur.icc.

int Gecode::Int::GCC::IdxView::min void   )  const [inline]
 

Return minimum of domain.

Definition at line 1134 of file occur.icc.

int Gecode::Int::GCC::IdxView::max void   )  const [inline]
 

Return maximum of domain.

Definition at line 1138 of file occur.icc.

int Gecode::Int::GCC::IdxView::med void   )  const [inline]
 

Return median of domain.

Definition at line 1142 of file occur.icc.

int Gecode::Int::GCC::IdxView::val void   )  const [inline]
 

Return assigned value (only if assigned).

Definition at line 1146 of file occur.icc.

unsigned int Gecode::Int::GCC::IdxView::size void   )  const [inline]
 

Return size (cardinality) of domain.

Definition at line 1155 of file occur.icc.

unsigned int Gecode::Int::GCC::IdxView::width void   )  const [inline]
 

Return width of domain (distance between maximum and minimum).

Definition at line 1151 of file occur.icc.

unsigned int Gecode::Int::GCC::IdxView::regret_min void   )  const [inline]
 

Return regret of domain minimum (distance to next larger value).

Definition at line 1159 of file occur.icc.

unsigned int Gecode::Int::GCC::IdxView::regret_max void   )  const [inline]
 

Return regret of domain maximum (distance to next smaller value).

Definition at line 1163 of file occur.icc.

bool Gecode::Int::GCC::IdxView::range void   )  const [inline]
 

Test whether domain is a range.

Definition at line 1172 of file occur.icc.

bool Gecode::Int::GCC::IdxView::assigned void   )  const [inline]
 

Test whether view is assigned.

Definition at line 1176 of file occur.icc.

bool Gecode::Int::GCC::IdxView::in int  n  )  const [inline]
 

Test whether n is contained in domain.

Definition at line 1181 of file occur.icc.

bool Gecode::Int::GCC::IdxView::in double  n  )  const [inline]
 

Test whether n is contained in domain.

Definition at line 1185 of file occur.icc.

ModEvent Gecode::Int::GCC::IdxView::lq Space home,
int  n
[inline]
 

Restrict domain values to be less or equal than n.

Definition at line 1195 of file occur.icc.

ModEvent Gecode::Int::GCC::IdxView::lq Space home,
double  n
[inline]
 

Restrict domain values to be less or equal than n.

Definition at line 1199 of file occur.icc.

ModEvent Gecode::Int::GCC::IdxView::le Space home,
int  n
[inline]
 

Restrict domain values to be less than n.

Definition at line 1203 of file occur.icc.

ModEvent Gecode::Int::GCC::IdxView::le Space home,
double  n
[inline]
 

Restrict domain values to be less than n.

Definition at line 1207 of file occur.icc.

ModEvent Gecode::Int::GCC::IdxView::gq Space home,
int  n
[inline]
 

Restrict domain values to be greater or equal than n.

Definition at line 1211 of file occur.icc.

ModEvent Gecode::Int::GCC::IdxView::gq Space home,
double  n
[inline]
 

Restrict domain values to be greater or equal than n.

Definition at line 1215 of file occur.icc.

ModEvent Gecode::Int::GCC::IdxView::gr Space home,
int  n
[inline]
 

Restrict domain values to be greater than n.

Definition at line 1219 of file occur.icc.

ModEvent Gecode::Int::GCC::IdxView::gr Space home,
double  n
[inline]
 

Restrict domain values to be greater than n.

Definition at line 1223 of file occur.icc.

ModEvent Gecode::Int::GCC::IdxView::nq Space home,
int  n
[inline]
 

Restrict domain values to be different from n.

Definition at line 1227 of file occur.icc.

ModEvent Gecode::Int::GCC::IdxView::nq Space home,
double  n
[inline]
 

Restrict domain values to be different from n.

Definition at line 1231 of file occur.icc.

ModEvent Gecode::Int::GCC::IdxView::eq Space home,
int  n
[inline]
 

Restrict domain values to be equal to n.

Definition at line 1235 of file occur.icc.

ModEvent Gecode::Int::GCC::IdxView::eq Space home,
double  n
[inline]
 

Restrict domain values to be equal to n.

Definition at line 1239 of file occur.icc.

template<class I>
ModEvent Gecode::Int::GCC::IdxView::narrow Space home,
I &  i
 

Replace domain by range sequence described by i.

Definition at line 1251 of file occur.icc.

template<class I>
ModEvent Gecode::Int::GCC::IdxView::inter Space home,
I &  i
 

Intersect domain with range sequence described by i.

Definition at line 1257 of file occur.icc.

template<class I>
ModEvent Gecode::Int::GCC::IdxView::minus Space home,
I &  i
 

Remove from domain the range sequence described by i.

Definition at line 1262 of file occur.icc.

ModEvent Gecode::Int::GCC::IdxView::pme const Propagator p  )  [inline, static]
 

Return modification event of propagator p for view.

Definition at line 1273 of file occur.icc.

PropModEvent Gecode::Int::GCC::IdxView::pme ModEvent  me  )  [inline, static]
 

Translate modification event me to propagator modification event for view.

Definition at line 1277 of file occur.icc.

void Gecode::Int::GCC::IdxView::subscribe Space home,
Propagator p,
PropCond  pc
[inline]
 

Subscribe propagator p with propagation condition pc to view.

Definition at line 1287 of file occur.icc.

void Gecode::Int::GCC::IdxView::cancel Propagator p,
PropCond  pc
[inline]
 

Cancel subscription of propagator p with propagation condition pc to view.

Definition at line 1291 of file occur.icc.

void Gecode::Int::GCC::IdxView::update Space home,
bool  share,
IdxView x
[inline]
 

Update this view to be a clone of view x.

Definition at line 1301 of file occur.icc.

bool Gecode::Int::GCC::IdxView::operator== const IdxView x  )  const
 

Test whether this view is the same as x.

bool Gecode::Int::GCC::IdxView::operator!= const IdxView x  )  const
 

Test whether this view is not the same as x.

bool Gecode::Int::GCC::IdxView::operator< const IdxView x  )  const
 

Test whether this view is smaller than x (arbitrary order).

bool Gecode::Int::GCC::IdxView::operator> const IdxView x  )  const
 

Test whether this view is larger than x (arbitrary order).


Member Data Documentation

int Gecode::Int::GCC::IdxView::newidx [protected]
 

Index in the original problem specification.

Definition at line 955 of file occur.icc.

int Gecode::Int::GCC::IdxView::oldidx [protected]
 

Definition at line 956 of file occur.icc.


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