Generated on Wed Jan 4 17:49:23 2006 for Gecode by doxygen 1.4.6
Gecode::Search::FullStatistics

Gecode::Search::FullStatistics Class Reference

#include <search.hh>

Inherits Gecode::Search::Statistics.

Inherited by Gecode::Search::BabEngine, Gecode::Search::PlainEngine, and Gecode::Search::ProbeEngine.

List of all members.

Detailed Description

Full search engine statistics including memory information

Definition at line 92 of file search.hh.

Public Member Functions

 FullStatistics (size_t sz)
 Initialize with space size sz.
void push (const Space *s)
 New space s gets pushed on stack.
void push (const Space *s, const BranchingDesc *d)
 New space s and branching description d get pushed on stack.
void pop (const Space *s)
 Space s gets popped from stack.
void pop (const Space *s, const BranchingDesc *d)
 Space s and branching description d get popped from stack.
void current (const Space *s)
 Space s becomes current space (s = NULL: current space deleted).
void reset (const Space *s)
 Reset statistics for space s.

Public Attributes

size_t mem_space
 Memory required for a single space.
size_t mem_cur
 Memory for the current space (including memory for caching).
size_t mem_total
 Current total memory.

Constructor & Destructor Documentation

Gecode::Search::FullStatistics::FullStatistics (  size_t  sz  )  [inline]
 

Initialize with space size sz.

Definition at line 29 of file statistics.icc.

Member Function Documentation

void Gecode::Search::FullStatistics::push (  const Space *  s  )  [inline]
 

New space s gets pushed on stack.

Definition at line 35 of file statistics.icc.

void Gecode::Search::FullStatistics::push (  const Space *  s,
const BranchingDesc *  d
)  [inline]
 

New space s and branching description d get pushed on stack.

Definition at line 42 of file statistics.icc.

void Gecode::Search::FullStatistics::pop (  const Space *  s  )  [inline]
 

Space s gets popped from stack.

Definition at line 52 of file statistics.icc.

void Gecode::Search::FullStatistics::pop (  const Space *  s,
const BranchingDesc *  d
)  [inline]
 

Space s and branching description d get popped from stack.

Definition at line 57 of file statistics.icc.

void Gecode::Search::FullStatistics::current (  const Space *  s  )  [inline]
 

Space s becomes current space (s = NULL: current space deleted).

Definition at line 65 of file statistics.icc.

void Gecode::Search::FullStatistics::reset (  const Space *  s  )  [inline]
 

Reset statistics for space s.

Definition at line 78 of file statistics.icc.

Member Data Documentation

size_t Gecode::Search::FullStatistics::mem_space
 

Memory required for a single space.

Definition at line 95 of file search.hh.

size_t Gecode::Search::FullStatistics::mem_cur
 

Memory for the current space (including memory for caching).

Definition at line 97 of file search.hh.

size_t Gecode::Search::FullStatistics::mem_total
 

Current total memory.

Definition at line 99 of file search.hh.

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