stp.Statistics

class stp.Statistics

A snapshot of the solver’s statistics, keyed by the names of statistics.toml (a read-only mapping: int, float or str values).

__getitem__(name)

__iter__()

__len__()

__contains__(name)

keys()

items()

values()

get(name, default=None)

tier(name)

get_double(name)

get_str(name)

get_uint64(name)

is_double(name)

is_uint64(name)

names()

size()