Clasp::Cli::StatsVisitor Class Reference

Interface for printing statistics. More...

#include <clasp_output.h>

Inheritance diagram for Clasp::Cli::StatsVisitor:

Collaboration diagram for Clasp::Cli::StatsVisitor:

Public Member Functions
virtual	~StatsVisitor ()
virtual void	visitStats (const SharedContext &ctx, const Asp::LpStats *lp, bool accu)
virtual void	visitSolverStats (const SolverStats &stats, bool accu)
virtual void	visitProblemStats (const ProblemStats &stats, const Asp::LpStats *lp)
virtual void	visitThreads (const SharedContext &ctx)
virtual void	visitHccs (const SharedContext &ctx)
virtual void	visitThread (uint32, const SolverStats &stats)
virtual void	visitHcc (uint32, const SharedContext &stats)
virtual void	visitLogicProgramStats (const Asp::LpStats &stats)=0
virtual void	visitProblemStats (const ProblemStats &stats)=0
virtual void	visitCoreSolverStats (double cpuTime, uint64 models, const SolverStats &stats, bool accu)=0
virtual void	visitExtSolverStats (const ExtendedStats &stats, bool accu)=0
virtual void	visitJumpStats (const JumpStats &stats, bool accu)=0
virtual void	accuStats (const SharedContext &ctx, SolverStats &out) const

Public Attributes
bool	accu

Detailed Description

Interface for printing statistics.

Constructor & Destructor Documentation

Clasp::Cli::StatsVisitor::~StatsVisitor ( )

virtual

Member Function Documentation

void Clasp::Cli::StatsVisitor::accuStats ( const SharedContext &  ctx, SolverStats &  out  ) const

virtual

Here is the call graph for this function:

virtual void Clasp::Cli::StatsVisitor::visitCoreSolverStats ( double  cpuTime, uint64  models, const SolverStats &  stats, bool  accu  )

pure virtual

Implemented in Clasp::Cli::TextOutput.

virtual void Clasp::Cli::StatsVisitor::visitExtSolverStats ( const ExtendedStats &  stats, bool  accu  )

pure virtual

Implemented in Clasp::Cli::TextOutput.

void Clasp::Cli::StatsVisitor::visitHcc ( uint32  , const SharedContext &  stats  )

virtual

Reimplemented in Clasp::Cli::TextOutput.

Here is the call graph for this function:

void Clasp::Cli::StatsVisitor::visitHccs ( const SharedContext &  ctx )

virtual

Reimplemented in Clasp::Cli::TextOutput.

Here is the call graph for this function:

virtual void Clasp::Cli::StatsVisitor::visitJumpStats ( const JumpStats &  stats, bool  accu  )

pure virtual

Implemented in Clasp::Cli::TextOutput.

virtual void Clasp::Cli::StatsVisitor::visitLogicProgramStats ( const Asp::LpStats &  stats )

pure virtual

Implemented in Clasp::Cli::TextOutput.

void Clasp::Cli::StatsVisitor::visitProblemStats ( const ProblemStats &  stats, const Asp::LpStats *  lp  )

virtual

Reimplemented in Clasp::Cli::TextOutput.

Here is the call graph for this function:

virtual void Clasp::Cli::StatsVisitor::visitProblemStats ( const ProblemStats &  stats )

pure virtual

Implemented in Clasp::Cli::TextOutput.

void Clasp::Cli::StatsVisitor::visitSolverStats ( const SolverStats &  stats, bool  accu  )

virtual

Reimplemented in Clasp::Cli::TextOutput.

Here is the call graph for this function:

void Clasp::Cli::StatsVisitor::visitStats ( const SharedContext &  ctx, const Asp::LpStats *  lp, bool  accu  )

virtual

Here is the call graph for this function:

virtual void Clasp::Cli::StatsVisitor::visitThread ( uint32  , const SolverStats &  stats  )

inlinevirtual

Reimplemented in Clasp::Cli::TextOutput.

Here is the call graph for this function:

void Clasp::Cli::StatsVisitor::visitThreads ( const SharedContext &  ctx )

virtual

Reimplemented in Clasp::Cli::TextOutput.

Here is the call graph for this function:

Member Data Documentation

bool Clasp::Cli::StatsVisitor::accu

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/clasp/cli/clasp_output.h
• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/src/clasp_output.cpp