Module snapshot_state

snapshot_state() = 
    {SnapNo :: non_neg_integer(),
     InProgress :: boolean(),
     Leaders :: [comm:mypid()]}

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()