bliss: Source Code Documentation
0.73 (Debian 0.73-5)
|
The C API version of the statistics returned by the bliss search algorithm. More...
#include <bliss_C.h>
Public Attributes | |
long double | group_size_approx |
long unsigned int | nof_nodes |
long unsigned int | nof_leaf_nodes |
long unsigned int | nof_bad_nodes |
long unsigned int | nof_canupdates |
long unsigned int | nof_generators |
unsigned long int | max_level |
The C API version of the statistics returned by the bliss search algorithm.
long double bliss_stats_struct::group_size_approx |
An approximation (due to possible rounding errors) of the size of the automorphism group.
unsigned long int bliss_stats_struct::max_level |
The maximal depth of the search tree.
long unsigned int bliss_stats_struct::nof_bad_nodes |
The number of bad nodes in the search tree.
long unsigned int bliss_stats_struct::nof_canupdates |
The number of canonical representative updates.
long unsigned int bliss_stats_struct::nof_generators |
The number of generator permutations.
long unsigned int bliss_stats_struct::nof_leaf_nodes |
The number of leaf nodes in the search tree.
long unsigned int bliss_stats_struct::nof_nodes |
The number of nodes in the search tree.