Generated on Tue Apr 18 10:23:15 2017 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 1028 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 1032 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 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.

Propagator group.

Definition at line 1042 of file core.hpp.


Definition at line 1044 of file core.hpp.


Definition at line 1046 of file core.hpp.

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