FDR
4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
|
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. | |
![]() | |
Progress (const Progress &)=delete | |
Progress & | operator= (const Progress &)=delete |
Friends | |
struct | ProgressFactory |
Represents progress through a standard refinement check.