void registerHandlers(Handler reset_handler, Handler dump_handler)
void registerPythonStatsHandlers()
Register py_... functions as the statistics handlers.
Copyright (c) 2024 - Pranith Kumar Copyright (c) 2020 Inria All rights reserved.
Declaration of Statistics objects.