|
|
unsigned | sub_specs = 0 |
| |
|
double | total_time = 0.0 |
| |
|
double | sum_trans_time = 0.0 |
| |
|
double | sum_split_time = 0.0 |
| |
|
double | sum_paritize_time = 0.0 |
| |
|
double | sum_solve_time = 0.0 |
| |
|
double | sum_strat2aut_time = 0.0 |
| |
|
double | sum_simplify_strat_time = 0.0 |
| |
|
double | aig_time = 0.0 |
| |
|
unsigned | max_trans_states = 0 |
| |
|
unsigned | max_trans_edges = 0 |
| |
|
unsigned | max_trans_colors = 0 |
| |
|
unsigned | max_trans_ap = 0 |
| |
|
unsigned | max_game_states = 0 |
| |
|
unsigned | max_game_colors = 0 |
| |
|
unsigned | max_strat_states = 0 |
| |
|
unsigned | max_strat_edges = 0 |
| |
|
unsigned | sum_strat_states = 0 |
| |
|
unsigned | sum_strat_edges = 0 |
| |
|
unsigned | max_simpl_strat_states = 0 |
| |
|
unsigned | max_simpl_strat_edges = 0 |
| |
|
unsigned | sum_simpl_strat_states = 0 |
| |
|
unsigned | sum_simpl_strat_edges = 0 |
| |
|
unsigned | aig_latches = 0 |
| |
|
unsigned | aig_gates = 0 |
| |
|
bool | realizable = false |
| |
The documentation for this struct was generated from the following file:
