Dip
0.92.4
|
#include <sym_types.h>
Public Attributes | |
double | root_lb |
int | cuts_in_pool |
int | max_depth |
int | chains |
int | diving_halts |
int | tree_size |
int | created |
int | analyzed |
int | leaves_before_trimming |
int | leaves_after_trimming |
int | vars_not_priced |
int | nf_status |
double | max_vsize |
int | print_stats_cnt |
Definition at line 421 of file sym_types.h.
double PROBLEM_STAT::root_lb |
Definition at line 422 of file sym_types.h.
int PROBLEM_STAT::cuts_in_pool |
Definition at line 423 of file sym_types.h.
int PROBLEM_STAT::max_depth |
Definition at line 424 of file sym_types.h.
int PROBLEM_STAT::chains |
Definition at line 426 of file sym_types.h.
int PROBLEM_STAT::diving_halts |
Definition at line 427 of file sym_types.h.
int PROBLEM_STAT::tree_size |
Definition at line 429 of file sym_types.h.
int PROBLEM_STAT::created |
Definition at line 430 of file sym_types.h.
int PROBLEM_STAT::analyzed |
Definition at line 433 of file sym_types.h.
int PROBLEM_STAT::leaves_before_trimming |
Definition at line 437 of file sym_types.h.
int PROBLEM_STAT::leaves_after_trimming |
Definition at line 438 of file sym_types.h.
int PROBLEM_STAT::vars_not_priced |
Definition at line 439 of file sym_types.h.
int PROBLEM_STAT::nf_status |
Definition at line 441 of file sym_types.h.
double PROBLEM_STAT::max_vsize |
Definition at line 443 of file sym_types.h.
int PROBLEM_STAT::print_stats_cnt |
Definition at line 444 of file sym_types.h.