Generated on Mon Aug 25 11:35:45 2008 for Gecode by doxygen 1.5.6

occur.icc File Reference

(Revision: 6323)

Go to the source code of this file.

Namespaces

namespace  Gecode
namespace  Gecode::Int
namespace  Gecode::Int::GCC

Classes

class  Gecode::Int::GCC::OccurBndsView
 Tuple conataining the lower and upper cardinality bounds. More...
class  Gecode::Int::GCC::CardView
 Card integer view. More...
class  Gecode::Int::ViewRanges< GCC::CardView >
 Range iterator for indexed problem variables More...

Functions

std::ostream & operator<< (std::ostream &os, Gecode::Int::GCC::OccurBndsView &xs)
 Debugging: print a fixed cardinality.
template<class T>
int Gecode::Int::GCC::lookupValue (T &a, int v)
 Return the index of v in the array.
std::ostream & operator<< (std::ostream &os, Gecode::Int::GCC::CardView &v)
 Debugging: print a cardinality variable.


Function Documentation

std::ostream& operator<< ( std::ostream &  os,
Gecode::Int::GCC::OccurBndsView xs 
) [inline]

Debugging: print a fixed cardinality.

Definition at line 186 of file occur.icc.

std::ostream& operator<< ( std::ostream &  os,
Gecode::Int::GCC::CardView v 
) [inline]

Debugging: print a cardinality variable.

Definition at line 789 of file occur.icc.