Commit trace information.
More...
#include <core.hpp>
|
(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 CommitTraceInfo &cti) |
| | Print commit trace information. More...
|
| |
Commit trace information.
Definition at line 1005 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 3408 of file core.hpp.
◆ group()
Return brancher group.
Definition at line 3412 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 3424 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: