Generated on Tue Jul 18 2017 18:41:42 for Gecode by doxygen 1.8.13
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 Propagatorpropagator (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 Propagatorp
 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

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: