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]

List of all members.

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

Detailed Description

Represents progress through a standard refinement check.


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

Generated on 27 Oct 2017 for FDR by  doxygen 1.6.1