Metrics functionality

bactria's metrics part. This provides functionality for collecting various metrics, such as hardware counters, loop iterations, and so on. More...

Collaboration diagram for Metrics functionality:

Modules
	Internal documentation. Not intended or useful for the user.
	Plugin interface
	User API

Detailed Description

bactria's metrics part. This provides functionality for collecting various metrics, such as hardware counters, loop iterations, and so on.