benchmark::simple Namespace Reference

Data Structures
class	BenchmarkController
	Supports benchmarking of different components of dlvhex. More...