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
|
||||||||||||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
||||||||||||||
|
|
Member Function Documentation
|
||||||||||||||||||||
|
|
|
||||||||||||||
|
|
|
||||||||||||||
|
|
|
||||||||||||||
|
|
|
||||||||||||||
|
|
|
||||||||||||||
|
|
|
||||||||||||||
|
|
|
||||||||||||||
|
|
|
||||||||||||||
|
|
|
||||||||||||||
|
|
|
||||||||||||||
|
|
Member Data Documentation
|
|||||||||
|
|
|
|||||||||
|
|
|
|||||||||
|
|
|
|||||||||
|
|
|
|||||||||
|
|
|
|||||||||
|
|
|
|||||||||
|
|
|
|||||||||
|
|
|
|||||||||
|
|
|
|||||||||
|
|
The documentation for this class was generated from the following file:
- gecode/int/distinct/dom.icc (Revision: 3768)