Clasp::Cli::StatsVisitor Class Reference

Interface for printing statistics. More...

#include <clasp_output.h>

Inheritance diagram for Clasp::Cli::StatsVisitor:

List of all members.

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

---

Detailed Description

Interface for printing statistics.

Definition at line 104 of file clasp_output.h.

---

Constructor & Destructor Documentation

Clasp::Cli::StatsVisitor::~StatsVisitor

(

)

[virtual]

Definition at line 161 of file clasp_output.cpp.

---

Member Function Documentation

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

Definition at line 162 of file clasp_output.cpp.

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

Implemented in Clasp::Cli::TextOutput, and Clasp::Cli::JsonOutput.

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

Implemented in Clasp::Cli::TextOutput, and Clasp::Cli::JsonOutput.

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

Reimplemented in Clasp::Cli::TextOutput, and Clasp::Cli::JsonOutput.

Definition at line 206 of file clasp_output.cpp.

void Clasp::Cli::StatsVisitor::visitHccs

(

const SharedContext &

ctx

)

[virtual]

Reimplemented in Clasp::Cli::TextOutput, and Clasp::Cli::JsonOutput.

Definition at line 199 of file clasp_output.cpp.

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

Implemented in Clasp::Cli::TextOutput, and Clasp::Cli::JsonOutput.

virtual void Clasp::Cli::StatsVisitor::visitLogicProgramStats

(

const Asp::LpStats &

stats

)

[pure virtual]

Implemented in Clasp::Cli::TextOutput, and Clasp::Cli::JsonOutput.

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

Reimplemented in Clasp::Cli::TextOutput.

Definition at line 180 of file clasp_output.cpp.

virtual void Clasp::Cli::StatsVisitor::visitProblemStats

(

const ProblemStats &

stats

)

[pure virtual]

Implemented in Clasp::Cli::TextOutput, and Clasp::Cli::JsonOutput.

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

Reimplemented in Clasp::Cli::TextOutput.

Definition at line 185 of file clasp_output.cpp.

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

Definition at line 169 of file clasp_output.cpp.

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

Reimplemented in Clasp::Cli::TextOutput, and Clasp::Cli::JsonOutput.

Definition at line 113 of file clasp_output.h.

void Clasp::Cli::StatsVisitor::visitThreads

(

const SharedContext &

ctx

)

[virtual]

Reimplemented in Clasp::Cli::TextOutput, and Clasp::Cli::JsonOutput.

Definition at line 193 of file clasp_output.cpp.

---

Member Data Documentation

bool Clasp::Cli::StatsVisitor::accu

Definition at line 123 of file clasp_output.h.

---

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

• clasp_output.h
• clasp_output.cpp