![]() |
MySQL 8.0.43
Source Code Documentation
|
Public Attributes | |
| pax_machine * | p |
| int | n |
| int | old_n |
| double | old_t |
| synode_no | exit_synode |
| synode_no | delivery_limit |
| exec_fp | state |
| int | exit_flag |
| int | inform_index |
| synode_no execute_context::delivery_limit |
| int execute_context::exit_flag |
| synode_no execute_context::exit_synode |
| int execute_context::inform_index |
| int execute_context::n |
| int execute_context::old_n |
| double execute_context::old_t |
| pax_machine* execute_context::p |
| exec_fp execute_context::state |