Generated on Tue May 22 09:40:59 2018 for Gecode by doxygen 1.6.3

Gecode::PropagateTraceInfo Class Reference

Propagate trace information. More...

#include <core.hpp>

List of all members.

Public Types


Propagator status.


Public Member Functions

unsigned int id (void) const
 Return propagator identifier.
PropagatorGroup group (void) const
 Return propagator group.
const Propagatorpropagator (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)

Protected Attributes

unsigned int i
 Propagator id.
PropagatorGroup g
 Propagator group.
const Propagatorp
Status s

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 959 of file core.hpp.

Member Enumeration Documentation

Propagator status.


Propagator computed fixpoint.


Propagator did not compute fixpoint.


Propagator failed.


Propagator is subsumed.

Definition at line 963 of file core.hpp.

Constructor & Destructor Documentation

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


Definition at line 3318 of file core.hpp.

Member Function Documentation

unsigned int Gecode::PropagateTraceInfo::id ( void   )  const [inline]

Return propagator identifier.

Definition at line 3322 of file core.hpp.

PropagatorGroup Gecode::PropagateTraceInfo::group ( void   )  const [inline]

Return propagator group.

Definition at line 3326 of file core.hpp.

const Propagator * Gecode::PropagateTraceInfo::propagator ( void   )  const [inline]

Return pointer to non-subsumed propagator.

Definition at line 3330 of file core.hpp.

PropagateTraceInfo::Status Gecode::PropagateTraceInfo::status ( void   )  const [inline]

Return propagator status.

Definition at line 3334 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 83 of file print.hpp.

Member Data Documentation

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

Propagator id.

Definition at line 971 of file core.hpp.

Propagator group.

Definition at line 973 of file core.hpp.


Definition at line 975 of file core.hpp.


Definition at line 977 of file core.hpp.

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