Gecode::PropagateTraceInfo Class Reference

Propagate trace information. More...

#include <core.hpp>

Public Types
enum	Status { FIX, NOFIX, FAILED, SUBSUMED }
	Propagator status. More...

Public Member Functions
unsigned int	id (void) const
	Return propagator identifier. More...
PropagatorGroup	group (void) const
	Return propagator group. More...
const Propagator *	propagator (void) const
	Return pointer to non-subsumed propagator. More...
Status	status (void) const
	Return propagator status. More...

Protected Member Functions
	PropagateTraceInfo (unsigned int i, PropagatorGroup g, const Propagator *p, Status s)
	Initialize. More...

Protected Attributes
unsigned int	i
	Propagator id. More...
PropagatorGroup	g
	Propagator group. More...
const Propagator *	p
	Propagator. More...
Status	s
	Status. More...

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. More...

Detailed Description

Propagate trace information.

Definition at line 1028 of file core.hpp.

Member Enumeration Documentation

Status

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

PropagateTraceInfo()

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

inlineprotected

Initialize.

Definition at line 3463 of file core.hpp.

Member Function Documentation

id()

unsigned int Gecode::PropagateTraceInfo::id ( void  ) const

inline

Return propagator identifier.

Definition at line 3467 of file core.hpp.

group()

PropagatorGroup Gecode::PropagateTraceInfo::group ( void  ) const

inline

Return propagator group.

Definition at line 3471 of file core.hpp.

propagator()

const Propagator * Gecode::PropagateTraceInfo::propagator ( void  ) const

inline

Return pointer to non-subsumed propagator.

Definition at line 3475 of file core.hpp.

status()

PropagateTraceInfo::Status Gecode::PropagateTraceInfo::status ( void  ) const

inline

Return propagator status.

Definition at line 3479 of file core.hpp.

Friends And Related Function Documentation

operator<<()

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

i

unsigned int Gecode::PropagateTraceInfo::i

protected

Propagator id.

Definition at line 1040 of file core.hpp.

g

PropagatorGroup Gecode::PropagateTraceInfo::g

protected

Propagator group.

Definition at line 1042 of file core.hpp.

p

const Propagator* Gecode::PropagateTraceInfo::p

protected

Propagator.

Definition at line 1044 of file core.hpp.

s

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)