FDR  4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
Public Member Functions | Friends | List of all members
FDR::Assertions::BFSRefinementProgress Class Reference

Represents progress through a standard refinement check. More...

#include <progress.h>

Inheritance diagram for FDR::Assertions::BFSRefinementProgress:
Inheritance graph
[legend]
Collaboration diagram for FDR::Assertions::BFSRefinementProgress:
Collaboration graph
[legend]

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.
 
- Public Member Functions inherited from FDR::Assertions::Progress
 Progress (const Progress &)=delete
 
Progressoperator= (const Progress &)=delete
 

Friends

struct ProgressFactory
 

Detailed Description

Represents progress through a standard refinement check.


The documentation for this class was generated from the following file: