Generated on Thu Apr 11 13:59:46 2019 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 969 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 973 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 3378 of file core.hpp.

Member Function Documentation

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

Return propagator identifier.

Definition at line 3382 of file core.hpp.

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

Return propagator group.

Definition at line 3386 of file core.hpp.

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

Return pointer to non-subsumed propagator.

Definition at line 3390 of file core.hpp.

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

Return propagator status.

Definition at line 3394 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 981 of file core.hpp.

Propagator group.

Definition at line 983 of file core.hpp.


Definition at line 985 of file core.hpp.


Definition at line 987 of file core.hpp.

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