Galois
|
#include <LoopStatistics.h>
Public Member Functions | |
LoopStatistics (const char *) | |
size_t | iterations (void) const |
size_t | pushes (void) const |
size_t | conflicts (void) const |
void | inc_iterations () const |
void | inc_pushes (size_t=0) const |
void | inc_conflicts () const |
|
inlineexplicit |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |