FDR
4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
|
22 friend struct ProgressFactory;
44 std::unique_ptr<Data> data;
46 friend struct ProgressFactory;
Represents progress through an assertion.
Definition: progress.h:12
Represents progress through a standard refinement check.
Definition: progress.h:27
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.