getCheckersPerfData() | cz::muni::stanse::statistics::PerformanceData | [inline, package] |
getFilesPerfData() | cz::muni::stanse::statistics::PerformanceData | [inline, package] |
getPerCheckersPerfData() | cz::muni::stanse::statistics::PerformanceData | [inline, package] |
getPrecachesPerfData() | cz::muni::stanse::statistics::PerformanceData | [inline, package] |
PerformanceData(final Document database) | cz::muni::stanse::statistics::PerformanceData | [inline, package] |