Commit trace information.
More...
#include <core.hpp>
|
(Note that these are not member symbols.)
|
template<class Char, class Traits> |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const CommitTraceInfo &cti) |
| Print commit trace information.
|
Commit trace information.
Definition at line 1007 of file core.hpp.
◆ CommitTraceInfo()
Gecode::CommitTraceInfo::CommitTraceInfo |
( |
const Brancher & | b, |
|
|
const Choice & | c, |
|
|
unsigned int | a ) |
|
inlineprotected |
◆ id()
unsigned int Gecode::CommitTraceInfo::id |
( |
void | | ) |
const |
|
inline |
Return brancher identifier.
Definition at line 3415 of file core.hpp.
◆ group()
Return brancher group.
Definition at line 3419 of file core.hpp.
◆ brancher()
const Brancher & Gecode::CommitTraceInfo::brancher |
( |
void | | ) |
const |
|
inline |
◆ choice()
const Choice & Gecode::CommitTraceInfo::choice |
( |
void | | ) |
const |
|
inline |
◆ alternative()
unsigned int Gecode::CommitTraceInfo::alternative |
( |
void | | ) |
const |
|
inline |
Return alternative.
Definition at line 3431 of file core.hpp.
◆ operator<<()
template<class Char, class Traits>
std::basic_ostream< Char, Traits > & operator<< |
( |
std::basic_ostream< Char, Traits > & | os, |
|
|
const CommitTraceInfo & | cti ) |
|
related |
Print commit trace information.
Definition at line 1 of file print.hpp.
const Brancher& Gecode::CommitTraceInfo::b |
|
protected |
const Choice& Gecode::CommitTraceInfo::c |
|
protected |
unsigned int Gecode::CommitTraceInfo::a |
|
protected |
The documentation for this class was generated from the following files: