abstract datatype: internal_state()
| current_term/1 | |
| effective_machine_version/1 | |
| last_applied/1 | |
| leader_id/1 | |
| log_fetch/2 | |
| log_last_index_term/1 | |
| log_stats/1 | |
| machine_state/1 | |
| members_info/1 | |
| overview/1 |
current_term(State::ra_aux:internal_state()) -> ra_term()
effective_machine_version(X1::ra_aux:internal_state()) -> ra_machine:version()
last_applied(State::ra_aux:internal_state()) -> ra_index()
leader_id(State::ra_aux:internal_state()) -> undefined | ra_server_id()
log_fetch(Idx::ra_index(), State::ra_aux:internal_state()) -> {undefined | {ra_term(), CmdMetadata::ra_server:command_meta(), Command::term()}, ra_aux:internal_state()}
log_last_index_term(X1::ra_aux:internal_state()) -> ra_idxterm()
log_stats(X1::ra_aux:internal_state()) -> ra_log:overview()
machine_state(State::ra_aux:internal_state()) -> term()
members_info(State::ra_aux:internal_state()) -> ra_cluster()
overview(State::ra_aux:internal_state()) -> map()
Generated by EDoc