Spicy
hilti::util::timing::detail::Manager Member List

This is the complete list of members for hilti::util::timing::detail::Manager, including all inherited members.

Collector (defined in hilti::util::timing::detail::Manager)hilti::util::timing::detail::Managerprotected
Ledger (defined in hilti::util::timing::detail::Manager)hilti::util::timing::detail::Managerprotected
Manager() (defined in hilti::util::timing::detail::Manager)hilti::util::timing::detail::Managerinlineprotected
newLedger(const std::string &name) (defined in hilti::util::timing::detail::Manager)hilti::util::timing::detail::Managerprotected
register_(Ledger *ledger) (defined in hilti::util::timing::detail::Manager)hilti::util::timing::detail::Managerprotected
singleton()hilti::util::timing::detail::Managerstatic
summary(std::ostream &out)hilti::util::timing::detail::Managerstatic
unregister(Ledger *ledger) (defined in hilti::util::timing::detail::Manager)hilti::util::timing::detail::Managerprotected