GaloisRuntime::StatisticHandler< false > Class Template Reference
#include <ParallelWork.h>
List of all members.
template<>
class GaloisRuntime::StatisticHandler< false >
Member Function Documentation
| void GaloisRuntime::StatisticHandler< false >::done |
( |
|
) |
const [inline] |
| void GaloisRuntime::StatisticHandler< false >::inc_conflicts |
( |
|
) |
const [inline] |
| void GaloisRuntime::StatisticHandler< false >::inc_iterations |
( |
|
) |
const [inline] |
| int GaloisRuntime::StatisticHandler< false >::num |
( |
|
) |
const [inline] |
| void GaloisRuntime::StatisticHandler< false >::report_stat |
( |
const char * |
|
) |
const [inline] |
The documentation for this class was generated from the following file:
