cz::muni::stanse::statistics Namespace Reference

Detailed Description

Licensed under GPLv2.


Classes
class	BasicEvaluationStatistic
class	CheckerErrorsGuiTracing
class	CheckerErrorsSorter
class	DocumentToFileWriter
class	DummyEvaluationStatistic
class	Compute
class	MessagesStat
class	SectionedMessagesStat
class	ComposedSectionedMessagesStat
class	ErrorMessagesStatsBuilder
interface	EvaluationStatistic
class	MergeDocuments
class	PerfRecord
class	PerformanceData
class	PerformanceDataBuilder
class	StatisticalDatabaseBuilder
class	StatisticalDatabaseLoader
class	StringToFileWriter
class	TabbedStringStream