Represents progress through a standard refinement check. More...
#include <progress.h>
Public Member Functions | |
size_t | plys () const |
The number of plys (i.e. levels) of the breadth-first search. | |
size_t | state_pairs_count () const |
The total number of state pairs visited. | |
size_t | transition_count () const |
The total number of transitions visited. | |
Friends | |
struct | ProgressFactory |
Represents progress through a standard refinement check.