Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0

Commit trace information. More...

#include <core.hpp>

Public Member Functions

unsigned int id (void) const
 Return brancher identifier.
BrancherGroup group (void) const
 Return brancher group.
const Brancherbrancher (void) const
 Return brancher.
const Choicechoice (void) const
 Return choice.
unsigned int alternative (void) const
 Return alternative.

Protected Member Functions

 CommitTraceInfo (const Brancher &b, const Choice &c, unsigned int a)
 Initialize.

Protected Attributes

const Brancherb
 Brancher.
const Choicec
 Choice.
unsigned int a
 Alternative.

(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.

Detailed Description

Commit trace information.

Definition at line 1007 of file core.hpp.

Constructor & Destructor Documentation

◆ CommitTraceInfo()

Gecode::CommitTraceInfo::CommitTraceInfo ( const Brancher & b,
const Choice & c,
unsigned int a )
inlineprotected

Initialize.

Definition at line 3411 of file core.hpp.

Member Function Documentation

◆ id()

unsigned int Gecode::CommitTraceInfo::id ( void ) const
inline

Return brancher identifier.

Definition at line 3415 of file core.hpp.

◆ group()

BrancherGroup Gecode::CommitTraceInfo::group ( void ) const
inline

Return brancher group.

Definition at line 3419 of file core.hpp.

◆ brancher()

const Brancher & Gecode::CommitTraceInfo::brancher ( void ) const
inline

Return brancher.

Definition at line 3423 of file core.hpp.

◆ choice()

const Choice & Gecode::CommitTraceInfo::choice ( void ) const
inline

Return choice.

Definition at line 3427 of file core.hpp.

◆ 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.

Member Data Documentation

◆ b

const Brancher& Gecode::CommitTraceInfo::b
protected

Brancher.

Definition at line 1011 of file core.hpp.

◆ c

const Choice& Gecode::CommitTraceInfo::c
protected

Choice.

Definition at line 1013 of file core.hpp.

◆ a

unsigned int Gecode::CommitTraceInfo::a
protected

Alternative.

Definition at line 1015 of file core.hpp.


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