smats  0.0.1
Satisfability Modulo Arithmetic Theories Symbols
Loading...
Searching...
No Matches
smats::IterationStats Member List

This is the complete list of members for smats::IterationStats, including all inherited members.

class_name_smats::Statsprotected
enabled() constsmats::Statsinline
enabled_smats::Statsprotected
increase()smats::IterationStats
iterations() const (defined in smats::IterationStats)smats::IterationStatsinline
iterations_smats::IterationStatsprivate
iterations_name_smats::IterationStatsprivate
IterationStats(bool enabled, std::string class_name, std::string name_time="Time spent in Operations", std::string iterations_name="Total # of Iterations")smats::IterationStatsexplicit
IterationStats(const IterationStats &other) (defined in smats::IterationStats)smats::IterationStats
m_timer()smats::Statsinline
operations_name_smats::Statsprotected
operator+(const IterationStats &other) const (defined in smats::IterationStats)smats::IterationStats
operator+(const Stats &other) const (defined in smats::Stats)smats::Stats
operator++() (defined in smats::IterationStats)smats::IterationStats
operator++(int) (defined in smats::IterationStats)smats::IterationStats
operator+=(const IterationStats &other) (defined in smats::IterationStats)smats::IterationStats
operator+=(const Stats &other) (defined in smats::Stats)smats::Stats
operator=(const IterationStats &other) (defined in smats::IterationStats)smats::IterationStats
operator=(const Stats &other)=default (defined in smats::Stats)smats::Stats
Stats(bool enabled, std::string class_name, std::string name_time="Time spent in Operations")smats::Statsexplicit
Stats(const Stats &other)=default (defined in smats::Stats)smats::Stats
timer() constsmats::Statsinline
timer_smats::Statsprivate
to_segment_string() const overridesmats::IterationStatsvirtual
to_string() const overridesmats::IterationStatsvirtual
~Stats()=default (defined in smats::Stats)smats::Statsvirtual