|
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.
1.8.5