FDR  4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
progress.h
1 #pragma once
2 
3 #include <memory>
4 #include <vector>
5 
6 namespace FDR
7 {
8 namespace Assertions
9 {
11 class Progress
12 {
13 public:
14  virtual ~Progress();
15 
16  Progress(const Progress&) = delete;
17  Progress& operator=(const Progress&) = delete;
18 
19 protected:
20  Progress();
21 
22  friend struct ProgressFactory;
23 };
24 
27 {
28 public:
30 
32  size_t plys() const;
33 
35  size_t state_pairs_count() const;
36 
38  size_t transition_count() const;
39 
40 private:
42 
43  struct Data;
44  std::unique_ptr<Data> data;
45 
46  friend struct ProgressFactory;
47 };
48 
49 } // end Assertions
50 } // end FDR
FDR::Assertions::Progress
Represents progress through an assertion.
Definition: progress.h:12
FDR::Assertions::BFSRefinementProgress
Represents progress through a standard refinement check.
Definition: progress.h:27
FDR::Assertions::BFSRefinementProgress::plys
size_t plys() const
The number of plys (i.e. levels) of the breadth-first search.
FDR::Assertions::BFSRefinementProgress::state_pairs_count
size_t state_pairs_count() const
The total number of state pairs visited.
FDR::Assertions::BFSRefinementProgress::transition_count
size_t transition_count() const
The total number of transitions visited.