Generated on Tue Apr 18 10:23:15 2017 for Gecode by doxygen 1.6.3

Gecode::ViewTraceInfo Class Reference

View trace information. More...

#include <core.hpp>

List of all members.

Public Types

enum  What { PROPAGATOR = 0, BRANCHER = 1, POST = 2, OTHER = 3 }
 

What is currently executing.

More...

Public Member Functions

What what (void) const
 Return what is currently executing.
const Propagatorpropagator (void) const
 Return currently executing propagator.
const Brancherbrancher (void) const
 Return currently executing brancher.
PropagatorGroup post (void) const
 Return propagator group of currently executing post function.

Protected Member Functions

void propagator (Propagator &p)
 Record that propagator p is executing.
void brancher (Brancher &b)
 Record that brancher b is executing.
void post (PropagatorGroup g)
 Record that a post function with propagator group g is executing.
void other (void)
 Record that nothing is known at this point.

Protected Attributes

ptrdiff_t who
 Encoding a tagged pointer or a tagged group id.

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 ViewTraceInfo &vti)
 Print view trace information.

Detailed Description

View trace information.

Definition at line 974 of file core.hpp.


Member Enumeration Documentation

What is currently executing.

Enumerator:
PROPAGATOR 

A propagator is currently executing.

BRANCHER 

A brancher is executing.

POST 

A post function is executing.

OTHER 

Unknown.

Definition at line 979 of file core.hpp.


Member Function Documentation

void Gecode::ViewTraceInfo::propagator ( Propagator p  )  [inline, protected]

Record that propagator p is executing.

Definition at line 3410 of file core.hpp.

void Gecode::ViewTraceInfo::brancher ( Brancher b  )  [inline, protected]

Record that brancher b is executing.

Definition at line 3414 of file core.hpp.

void Gecode::ViewTraceInfo::post ( PropagatorGroup  g  )  [inline, protected]

Record that a post function with propagator group g is executing.

Definition at line 3418 of file core.hpp.

void Gecode::ViewTraceInfo::other ( void   )  [inline, protected]

Record that nothing is known at this point.

Definition at line 3422 of file core.hpp.

ViewTraceInfo::What Gecode::ViewTraceInfo::what ( void   )  const [inline]

Return what is currently executing.

Definition at line 3426 of file core.hpp.

const Propagator & Gecode::ViewTraceInfo::propagator ( void   )  const [inline]

Return currently executing propagator.

Definition at line 3430 of file core.hpp.

const Brancher & Gecode::ViewTraceInfo::brancher ( void   )  const [inline]

Return currently executing brancher.

Definition at line 3436 of file core.hpp.

PropagatorGroup Gecode::ViewTraceInfo::post ( void   )  const [inline]

Return propagator group of currently executing post function.

Definition at line 3441 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 ViewTraceInfo vti 
) [related]

Print view trace information.

Definition at line 49 of file trace-print.hpp.


Member Data Documentation

ptrdiff_t Gecode::ViewTraceInfo::who [protected]

Encoding a tagged pointer or a tagged group id.

Definition at line 991 of file core.hpp.


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