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

Gecode::Int::Distinct::Dom< View >::ViewValGraph< View > Class Template Reference

List of all members.

Detailed Description

template<class View>
template<class View>
class Gecode::Int::Distinct::Dom< View >::ViewValGraph< View >

View-value graph for propagating domain-consistent distinct.

Definition at line 179 of file dom.icc.

Public Member Functions

 ViewValGraph (ViewArray< View > &, const int *, int, unsigned int)
 ~ViewValGraph (void)
bool initial_match (void)
void mark (void)
bool tell (Space *)
bool overflow (void) const
bool sync (void)

Static Public Member Functions

static void * operator new (size_t)
static void operator delete (void *)

Public Attributes

size_t size

Protected Member Functions

bool search_match (ViewNode< View > *)
bool match (ViewNode< View > *)
void scc (Node< View > *)

Protected Attributes

ViewNode< View > ** view
int n_view
ValNode< View > ** val
int n_val
char * mem
unsigned int count
unsigned int cnt0
unsigned int cnt1
Support::StaticStack< Node<
View > * > 
n_s


Constructor & Destructor Documentation

template<class View>
template<class View>
Gecode::Int::Distinct::Dom< View >::ViewValGraph< View >::ViewValGraph ViewArray< View > &  ,
const int *  ,
int  ,
unsigned  int
 

Definition at line 216 of file dom.icc.

template<class View>
template<class View>
Gecode::Int::Distinct::Dom< View >::ViewValGraph< View >::~ViewValGraph void   ) 
 

Definition at line 452 of file dom.icc.


Member Function Documentation

template<class View>
template<class View>
bool Gecode::Int::Distinct::Dom< View >::ViewValGraph< View >::initial_match void   ) 
 

Definition at line 291 of file dom.icc.

template<class View>
template<class View>
void Gecode::Int::Distinct::Dom< View >::ViewValGraph< View >::mark void   )  [inline]
 

Definition at line 326 of file dom.icc.

template<class View>
template<class View>
bool Gecode::Int::Distinct::Dom< View >::ViewValGraph< View >::tell Space  )  [inline]
 

Definition at line 375 of file dom.icc.

template<class View>
template<class View>
bool Gecode::Int::Distinct::Dom< View >::ViewValGraph< View >::overflow void   )  const [inline]
 

Definition at line 396 of file dom.icc.

template<class View>
template<class View>
bool Gecode::Int::Distinct::Dom< View >::ViewValGraph< View >::sync void   ) 
 

Definition at line 402 of file dom.icc.

template<class View>
template<class View>
bool Gecode::Int::Distinct::Dom< View >::ViewValGraph< View >::search_match ViewNode< View > *   )  [protected]
 

Definition at line 262 of file dom.icc.

template<class View>
template<class View>
bool Gecode::Int::Distinct::Dom< View >::ViewValGraph< View >::match ViewNode< View > *   )  [inline, protected]
 

Definition at line 283 of file dom.icc.

template<class View>
template<class View>
void Gecode::Int::Distinct::Dom< View >::ViewValGraph< View >::scc Node< View > *   )  [protected]
 

Definition at line 300 of file dom.icc.

template<class View>
template<class View>
void * Gecode::Int::Distinct::Dom< View >::ViewValGraph< View >::operator new size_t   )  [inline, static]
 

Definition at line 458 of file dom.icc.

template<class View>
template<class View>
void Gecode::Int::Distinct::Dom< View >::ViewValGraph< View >::operator delete void *   )  [inline, static]
 

Definition at line 463 of file dom.icc.


Member Data Documentation

template<class View>
template<class View>
ViewNode<View>** Gecode::Int::Distinct::Dom< View >::ViewValGraph< View >::view [protected]
 

Definition at line 181 of file dom.icc.

template<class View>
template<class View>
int Gecode::Int::Distinct::Dom< View >::ViewValGraph< View >::n_view [protected]
 

Definition at line 181 of file dom.icc.

template<class View>
template<class View>
ValNode<View>** Gecode::Int::Distinct::Dom< View >::ViewValGraph< View >::val [protected]
 

Definition at line 182 of file dom.icc.

template<class View>
template<class View>
int Gecode::Int::Distinct::Dom< View >::ViewValGraph< View >::n_val [protected]
 

Definition at line 182 of file dom.icc.

template<class View>
template<class View>
char* Gecode::Int::Distinct::Dom< View >::ViewValGraph< View >::mem [protected]
 

Definition at line 183 of file dom.icc.

template<class View>
template<class View>
unsigned int Gecode::Int::Distinct::Dom< View >::ViewValGraph< View >::count [protected]
 

Definition at line 184 of file dom.icc.

template<class View>
template<class View>
unsigned int Gecode::Int::Distinct::Dom< View >::ViewValGraph< View >::cnt0 [protected]
 

Definition at line 185 of file dom.icc.

template<class View>
template<class View>
unsigned int Gecode::Int::Distinct::Dom< View >::ViewValGraph< View >::cnt1 [protected]
 

Definition at line 186 of file dom.icc.

template<class View>
template<class View>
Support::StaticStack<Node<View>*> Gecode::Int::Distinct::Dom< View >::ViewValGraph< View >::n_s [protected]
 

Definition at line 187 of file dom.icc.

template<class View>
template<class View>
size_t Gecode::Int::Distinct::Dom< View >::ViewValGraph< View >::size
 

Definition at line 192 of file dom.icc.


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