#include <mincov_int.h>

Public Attributes
int	debug

int	max_print_depth

int	max_depth

int	nodes

int	component

int	comp_count

int	gimpel_count

int	gimpel

long	start_time

int	no_branching

int	lower_bound

Detailed Description

Definition at line 19 of file mincov_int.h.

Member Data Documentation

◆ comp_count

int stats_struct::comp_count

Definition at line 25 of file mincov_int.h.

◆ component

int stats_struct::component

Definition at line 24 of file mincov_int.h.

◆ debug

int stats_struct::debug

Definition at line 20 of file mincov_int.h.

◆ gimpel

int stats_struct::gimpel

Definition at line 27 of file mincov_int.h.

◆ gimpel_count

int stats_struct::gimpel_count

Definition at line 26 of file mincov_int.h.

◆ lower_bound

int stats_struct::lower_bound

Definition at line 30 of file mincov_int.h.

◆ max_depth

int stats_struct::max_depth

Definition at line 22 of file mincov_int.h.

◆ max_print_depth

int stats_struct::max_print_depth

Definition at line 21 of file mincov_int.h.

◆ no_branching

int stats_struct::no_branching

Definition at line 29 of file mincov_int.h.

◆ nodes

int stats_struct::nodes

Definition at line 23 of file mincov_int.h.

◆ start_time

long stats_struct::start_time

Definition at line 28 of file mincov_int.h.

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

src/misc/espresso/mincov_int.h

Public Attributes