main page modules namespaces classes files
Gecode home

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]

Definition at line 268 of file dom.icc.

template<class View>

template<class View>

Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::ViewValGraph	(	int	,
		View *	,
		int	,
		unsigned	int,
		int
	)			[inline]

Definition at line 220 of file dom.icc.

template<class View>

template<class View>

Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::~ViewValGraph

(

void

)

[inline]

Definition at line 560 of file dom.icc.

---

Member Function Documentation

template<class View>

template<class View>

DomCtrl< View >::ViewValGraph * Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::init	(	int	,
		View *
	)			[static]

Definition at line 315 of file dom.icc.

template<class View>

template<class View>

bool Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::initial_match

(

void

)

Definition at line 400 of file dom.icc.

template<class View>

template<class View>

void Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::mark

(

void

)

[inline]

Definition at line 435 of file dom.icc.

template<class View>

template<class View>

void Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::tell

(

Space *

)

[inline]

Definition at line 484 of file dom.icc.

template<class View>

template<class View>

bool Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::overflow

(

void

)

const [inline]

Definition at line 501 of file dom.icc.

template<class View>

template<class View>

bool Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::sync

(

void

)

Definition at line 507 of file dom.icc.

template<class View>

template<class View>

bool Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::search_match

(

ViewNode< View > *

)

[protected]

Definition at line 358 of file dom.icc.

template<class View>

template<class View>

bool Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::match

(

ViewNode< View > *

)

[inline, protected]

Definition at line 392 of file dom.icc.

template<class View>

template<class View>

void Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::scc

(

Node< View > *

)

[protected]

Definition at line 409 of file dom.icc.

template<class View>

template<class View>

void * Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::operator new

(

size_t

)

[inline, static]

Definition at line 566 of file dom.icc.

template<class View>

template<class View>

void Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::operator delete

(

void *

)

[inline, static]

Definition at line 571 of file dom.icc.

---

Member Data Documentation

template<class View>

template<class View>

ViewNode<View>** Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::view [protected]

Definition at line 181 of file dom.icc.

template<class View>

template<class View>

int Gecode::Int::Distinct::DomCtrl< 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::DomCtrl< View >::ViewValGraph< View >::val [protected]

Definition at line 182 of file dom.icc.

template<class View>

template<class View>

int Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::n_val [protected]

Definition at line 182 of file dom.icc.

template<class View>

template<class View>

char* Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::mem [protected]

Definition at line 183 of file dom.icc.

template<class View>

template<class View>

unsigned int Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::count [protected]

Definition at line 184 of file dom.icc.

template<class View>

template<class View>

unsigned int Gecode::Int::Distinct::DomCtrl< View >::ViewValGraph< View >::cnt0 [protected]

Definition at line 185 of file dom.icc.

template<class View>

template<class View>

unsigned int Gecode::Int::Distinct::DomCtrl< 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::DomCtrl< 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::DomCtrl< View >::ViewValGraph< View >::size

Definition at line 193 of file dom.icc.

---

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

• gecode/int/distinct/dom.icc (Revision: 3768)