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

Gecode::Int::GCC::OccurArray< T > Class Template Reference

Inherits Gecode::PrimArgArray< T >< T >.

List of all members.


Detailed Description

template<class T>
class Gecode::Int::GCC::OccurArray< T >

Array of OccurBnds mimicking cardinality variables.

Definition at line 199 of file occur.icc.

Public Member Functions

 OccurArray (int n)
 OccurArray (Space *home, int n)
 OccurArray (const OccurArray< T > &o)
 OccurArray (Space *home, const OccurArray< T > &o)
template<class View>
 OccurArray (const IntArgs &, const ViewArray< View > &, int, int, int, int, int, int, int)
 Construct an array with fix cardinalities.
int size (void)
void size (int n)
void update (Space *, bool, OccurArray< T > &)
void cancel (Propagator *, PropCond)
void subscribe (Space *, Propagator *, PropCond)
int lookup (int v)
 Return the index of v in the array.


Constructor & Destructor Documentation

template<class T>
Gecode::Int::GCC::OccurArray< T >::OccurArray int  n  ) 
 

Definition at line 220 of file occur.icc.

template<class T>
Gecode::Int::GCC::OccurArray< T >::OccurArray Space home,
int  n
 

Definition at line 223 of file occur.icc.

template<class T>
Gecode::Int::GCC::OccurArray< T >::OccurArray const OccurArray< T > &  o  ) 
 

Definition at line 366 of file occur.icc.

template<class T>
Gecode::Int::GCC::OccurArray< T >::OccurArray Space home,
const OccurArray< T > &  o
 

Definition at line 370 of file occur.icc.

template<class T>
template<class View>
Gecode::Int::GCC::OccurArray< T >::OccurArray const IntArgs ia,
const ViewArray< View > &  x,
int  iasize,
int  val,
int  nov,
int  min,
int  max,
int  unspec_low,
int  unspec_up
 

Construct an array with fix cardinalities.

Parameters:
ia array of triples $ (v,l_v,u_v) $
iasize provides the size of the given IntArgs
nov is the number of all values in the domains of the views
min is the minimum possible value
max is the maximum possible value
unspec_low lower bound for unspecified values
unspec_up upper bound for unspecified values
all checks whether all possible values are used or not

Definition at line 238 of file occur.icc.


Member Function Documentation

template<class T>
int Gecode::Int::GCC::OccurArray< T >::size void   )  [inline]
 

Definition at line 375 of file occur.icc.

template<class T>
void Gecode::Int::GCC::OccurArray< T >::size int  n  )  [inline]
 

Definition at line 381 of file occur.icc.

template<class T>
void Gecode::Int::GCC::OccurArray< T >::update Space ,
bool  ,
OccurArray< T > & 
[inline]
 

Definition at line 387 of file occur.icc.

template<class T>
void Gecode::Int::GCC::OccurArray< T >::cancel Propagator ,
PropCond 
[inline]
 

Definition at line 395 of file occur.icc.

template<class T>
void Gecode::Int::GCC::OccurArray< T >::subscribe Space ,
Propagator ,
PropCond 
[inline]
 

Definition at line 401 of file occur.icc.

template<class T>
int Gecode::Int::GCC::OccurArray< T >::lookup int  v  )  [inline]
 

Return the index of v in the array.

Complexity is $O(log(|k|))$

Definition at line 412 of file occur.icc.


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