Copyright © 2012 Zuse Institute Berlin
Version: $Id$
Authors: Stefan Keidel (keidel@informatik.hu-berlin.de).
snapshot_state() = {SnapNo :: non_neg_integer(), InProgress :: boolean(), Leaders :: [comm:mypid()]}
add_leader/2 | |
get_leaders/1 | |
get_number/1 | |
is_in_progress/1 | |
new/0 | |
new/3 | |
set_number/2 | |
start_progress/1 | |
stop_progress/1 |
new() -> snapshot_state()
new(Number :: non_neg_integer(), InProgress :: boolean(), Leaders :: [comm:mypid() | none]) -> snapshot_state()
get_number(X1 :: snapshot_state()) -> non_neg_integer()
is_in_progress(X1 :: snapshot_state()) -> boolean()
get_leaders(X1 :: snapshot_state()) -> [comm:mypid()]
set_number(SnapInfo :: snapshot_state(), NewVal :: non_neg_integer()) -> snapshot_state()
add_leader(State :: snapshot_state(), NewLeader :: comm:mypid() | none) -> snapshot_state()
start_progress(SnapInfo :: snapshot_state()) -> snapshot_state()
stop_progress(SnapInfo :: snapshot_state()) -> snapshot_state()
Generated by EDoc, Sep 11 2020, 15:25:13.