Statistics

Inspect search and problem stats. More...

Classes
class	Clingo::StatsView
	Class modeling an immutable view on a statistics entry. More...
class	Clingo::Stats
	Class modeling a mutable view on a statistics entry. More...
class	Clingo::StatsArrayView
	Class modeling an immutable view on an array of statistics entries. More...
class	Clingo::StatsArray
	Class modeling a mutable view on an array of statistics entries. More...
class	Clingo::StatsMapView
	Class modeling an immutable view on a map of statistics entries. More...
class	Clingo::StatsMap
	Class modeling a mutable view on a map of statistics entries. More...

Enumerations
enum class	Clingo::StatsType : clingo_stats_type_t { StatsType::value = clingo_stats_type_value , StatsType::array = clingo_stats_type_array , StatsType::map = clingo_stats_type_map }
	Enumeration of statistics types. More...

Functions
auto	Clingo::stats_step_root () -> std::string_view
	Get the root statistics entry for user step stats.
auto	Clingo::stats_accu_root () -> std::string_view
	Get the root statistics entry for user accumulated stats.
auto	Clingo::StatsView::array () const -> StatsArrayView
	Get a view on the array of statistics entries if the entry is an array.
auto	Clingo::StatsView::at (size_t index) const -> StatsView
	Get a statistics entry at the given index if the entry is an array.
auto	Clingo::Stats::array () const -> StatsArray
	Get a view on the array of statistics entries if the entry is an array.
auto	Clingo::Stats::at (size_t index) const -> Stats
	Get a statistics entry at the given index if the entry is an array.
auto	Clingo::StatsView::map () const -> StatsMapView
	Get a view on the map of statistics entries if the entry is a map.
auto	Clingo::StatsView::get (std::string_view name) const -> StatsView
	Get a statistics entry with the given name if the entry is a map.
auto	Clingo::Stats::map () const -> StatsMap
	Get a view on the map of statistics entries if the entry is a map.
auto	Clingo::Stats::get (std::string_view name) const -> Stats
	Get a statistics entry with the given name if the entry is a map.

Detailed Description

Inspect search and problem stats.

Enumeration Type Documentation

StatsType

enum class Clingo::StatsType : clingo_stats_type_t

strong

Enumeration of statistics types.

Enumerator
value	The statistics entry holds a value.
array	The statistics entry holds an array.
map	The statistics entry holds map.

Function Documentation

array() [1/2]

auto Clingo::Stats::array ( ) const -> StatsArray

inline

Get a view on the array of statistics entries if the entry is an array.

Returns

a view on the array of statistics entries

array() [2/2]

auto Clingo::StatsView::array ( ) const -> StatsArrayView

inline

Get a view on the array of statistics entries if the entry is an array.

Returns

a view on the array of statistics entries

at() [1/2]

auto Clingo::Stats::at ( size_t  index ) const -> Stats

inline

Get a statistics entry at the given index if the entry is an array.

Parameters

index

the index of the statistics entry to get

Returns

a statistics entry at the given index

at() [2/2]

auto Clingo::StatsView::at ( size_t  index ) const -> StatsView

inline

Get a statistics entry at the given index if the entry is an array.

Parameters

index

the index of the statistics entry to get

Returns

a statistics entry at the given index

get() [1/2]

auto Clingo::Stats::get ( std::string_view  name ) const -> Stats

inline

Get a statistics entry with the given name if the entry is a map.

Parameters

name	the name of the statistics entry to get

Returns

a statistics entry with the given name

get() [2/2]

auto Clingo::StatsView::get ( std::string_view  name ) const -> StatsView

inline

Get a statistics entry with the given name if the entry is a map.

Parameters

name	the name of the statistics entry to get

Returns

a statistics entry with the given name

map() [1/2]

auto Clingo::Stats::map ( ) const -> StatsMap

inline

Get a view on the map of statistics entries if the entry is a map.

Returns

a view on the map of statistics entries

map() [2/2]

auto Clingo::StatsView::map ( ) const -> StatsMapView

inline

Get a view on the map of statistics entries if the entry is a map.

Returns

a view on the map of statistics entries