This is the complete list of members for derecho::RestartState, including all inherited members.

load_ragged_trim(const View &curr_view)	derecho::RestartState
logged_ragged_trim	derecho::RestartState
ragged_trim_to_latest_version(const int32_t view_id, const std::vector< int32_t > &max_received_by_sender)	derecho::RestartState	static
restart_shard_leaders	derecho::RestartState