![]() |
OR-Tools
8.2
|
Public Types | |
| enum | PrintOrder { SORT_BY_PRIORITY_THEN_VALUE = 0 , SORT_BY_NAME = 1 } |
Public Member Functions | |
| StatsGroup (const std::string &name) | |
| ~StatsGroup () | |
| void | Register (Stat *stat) |
| std::string | StatString () const |
| void | SetPrintOrder (PrintOrder print_order) |
| TimeDistribution * | LookupOrCreateTimeDistribution (std::string name) |
| void | Reset () |
| enum PrintOrder |
|
inlineexplicit |
| ~StatsGroup | ( | ) |
| TimeDistribution * LookupOrCreateTimeDistribution | ( | std::string | name | ) |
|
inline |