Public Member Functions | |
path_info () | |
unsigned | covered_paths () const |
bool | covered_p (size_t n) const |
Data Fields | |
vector< vector< unsigned > > | paths |
vector< gcov_type_unsigned > | covered |
Static Public Attributes | |
static const size_t | bucketsize = sizeof (gcov_type_unsigned) * BITS_PER_UNIT |
Describes (prime) path coverage.
|
inline |
References bucketsize, and covered.
Referenced by json_set_prime_path_coverage(), print_prime_path_lines(), and print_prime_path_source().
|
inline |
References covered, and popcount_hwi().
Referenced by add_path_counts(), json_set_prime_path_coverage(), and output_path_coverage().
|
static |
Referenced by covered_p(), and read_graph_file().
vector<gcov_type_unsigned> path_info::covered |
Referenced by covered_p(), covered_paths(), find_prime_paths(), path_info(), read_count_file(), and read_graph_file().
vector<vector<unsigned> > path_info::paths |
Referenced by add_path_counts(), find_prime_paths(), json_set_prime_path_coverage(), output_path_coverage(), and path_info().