Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View > Class Template Reference
List of all members.Detailed Description
template<class View>
template<class View>
class Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >
View-value graph for propagating domain-consistent distinct.
Definition at line 179 of file dom.icc.
Public Member Functions | |
ViewValGraph (int, View *, const int *, int, unsigned int) | |
ViewValGraph (int, View *, int, unsigned int, int) | |
~ViewValGraph (void) | |
bool | initial_match (void) |
void | mark (void) |
void | tell (Space *) |
bool | overflow (void) const |
bool | sync (void) |
Static Public Member Functions | |
static ViewValGraph * | init (int, View *) |
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::DomCtrl< View >::ViewValGraph< View >::ViewValGraph | ( | int | , | |
View * | , | |||
const int * | , | |||
int | , | |||
unsigned | int | |||
) | [inline] |
template<class View>
template<class View>
Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::ViewValGraph | ( | int | , | |
View * | , | |||
int | , | |||
unsigned | int, | |||
int | ||||
) | [inline] |
template<class View>
template<class View>
Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::~ViewValGraph | ( | void | ) | [inline] |
Member Function Documentation
template<class View>
template<class View>
DomCtrl< View >::ViewValGraph * Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::init | ( | int | , | |
View * | ||||
) | [static] |
template<class View>
template<class View>
bool Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::initial_match | ( | void | ) |
template<class View>
template<class View>
void Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::mark | ( | void | ) | [inline] |
template<class View>
template<class View>
void Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::tell | ( | Space * | ) | [inline] |
template<class View>
template<class View>
bool Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::overflow | ( | void | ) | const [inline] |
template<class View>
template<class View>
bool Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::sync | ( | void | ) |
template<class View>
template<class View>
bool Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::search_match | ( | ViewNode< View > * | ) | [protected] |
template<class View>
template<class View>
bool Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::match | ( | ViewNode< View > * | ) | [inline, protected] |
template<class View>
template<class View>
void Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::scc | ( | Node< View > * | ) | [protected] |
template<class View>
template<class View>
void * Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::operator new | ( | size_t | ) | [inline, static] |
template<class View>
template<class View>
void Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::operator delete | ( | void * | ) | [inline, static] |
Member Data Documentation
template<class View>
template<class View>
ViewNode<View>** Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::view [protected] |
template<class View>
template<class View>
int Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::n_view [protected] |
template<class View>
template<class View>
ValNode<View>** Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::val [protected] |
template<class View>
template<class View>
int Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::n_val [protected] |
template<class View>
template<class View>
char* Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::mem [protected] |
template<class View>
template<class View>
unsigned int Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::count [protected] |
template<class View>
template<class View>
unsigned int Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::cnt0 [protected] |
template<class View>
template<class View>
unsigned int Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::cnt1 [protected] |
template<class View>
template<class View>
Support::StaticStack<Node<View>*> Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::n_s [protected] |
template<class View>
template<class View>
size_t Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::size |
The documentation for this class was generated from the following file:
- gecode/int/distinct/dom.icc (Revision: 3266)