Gecode::PropagateTraceInfo Class Reference

Propagate trace information. More...

#include <core.hpp>

List of all members.

Public Types
enum	Status { FIX, NOFIX, FAILED, SUBSUMED }
	Propagator status. More...
Public Member Functions
unsigned int	id (void) const
	Return propagator identifier.
PropagatorGroup	group (void) const
	Return propagator group.
const Propagator *	propagator (void) const
	Return pointer to non-subsumed propagator.
Status	status (void) const
	Return propagator status.
Protected Member Functions
	PropagateTraceInfo (unsigned int i, PropagatorGroup g, const Propagator *p, Status s)
	Initialize.
Protected Attributes
unsigned int	i
	Propagator id.
PropagatorGroup	g
	Propagator group.
const Propagator *	p
	Propagator.
Status	s
	Status.
Related Functions
(Note that these are not member functions.)
template<class Char , class Traits >
std::basic_ostream< Char, Traits > &	operator<< (std::basic_ostream< Char, Traits > &os, const PropagateTraceInfo &pti)
	Print propagate trace information.

---

Detailed Description

Propagate trace information.

Definition at line 1028 of file core.hpp.

---

Member Enumeration Documentation

enum Gecode::PropagateTraceInfo::Status

Propagator status.

Enumerator:

FIX	Propagator computed fixpoint.
NOFIX	Propagator did not compute fixpoint.
FAILED	Propagator failed.
SUBSUMED	Propagator is subsumed.

Definition at line 1032 of file core.hpp.

---

Constructor & Destructor Documentation

Gecode::PropagateTraceInfo::PropagateTraceInfo	(	unsigned int	i,
		PropagatorGroup	g,
		const Propagator *	p,
		Status	s
	)			[inline, protected]

Initialize.

Definition at line 3463 of file core.hpp.

---

Member Function Documentation

unsigned int Gecode::PropagateTraceInfo::id

(

void

)

const [inline]

Return propagator identifier.

Definition at line 3467 of file core.hpp.

PropagatorGroup Gecode::PropagateTraceInfo::group

(

void

)

const [inline]

Return propagator group.

Definition at line 3471 of file core.hpp.

const Propagator * Gecode::PropagateTraceInfo::propagator

(

void

)

const [inline]

Return pointer to non-subsumed propagator.

Definition at line 3475 of file core.hpp.

PropagateTraceInfo::Status Gecode::PropagateTraceInfo::status

(

void

)

const [inline]

Return propagator status.

Definition at line 3479 of file core.hpp.

---

Friends And Related Function Documentation

template<class Char , class Traits >

std::basic_ostream< Char, Traits > & operator<<	(	std::basic_ostream< Char, Traits > &	os,
		const PropagateTraceInfo &	pti
	)			[related]

Print propagate trace information.

Definition at line 87 of file trace-print.hpp.

---

Member Data Documentation

unsigned int Gecode::PropagateTraceInfo::i [protected]

Propagator id.

Definition at line 1040 of file core.hpp.

PropagatorGroup Gecode::PropagateTraceInfo::g [protected]

Propagator group.

Definition at line 1042 of file core.hpp.

const Propagator* Gecode::PropagateTraceInfo::p [protected]

Propagator.

Definition at line 1044 of file core.hpp.

Status Gecode::PropagateTraceInfo::s [protected]

Status.

Definition at line 1046 of file core.hpp.

---

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

• gecode/kernel/core.hpp (Revision: 15597)
• gecode/kernel/trace-print.hpp (Revision: 15597)