Copyright © 2014-2015 Zuse Institute Berlin,
Version: $Id$
Authors: Florian Schintke (schintke@zib.de).
pr() = {non_neg_integer(), any(), none | write_through_info()}
write_through_info() = {prbr:write_filter(), UpdateInfo :: term(), WriteValue :: term()}
get_id/1 | |
get_r/1 | |
get_wf/1 | |
new/2 | |
set_wf/2 | |
smallest_round/1 |
new(Counter :: non_neg_integer(), ProposerUID :: any()) -> pr()
get_r(RwId :: pr()) -> non_neg_integer()
get_id(RwId :: pr()) -> any()
get_wf(RwId :: pr()) -> none | write_through_info()
set_wf(R :: pr(), WF :: none | write_through_info()) -> pr()
smallest_round(Pid :: comm:mypid()) -> pr()
Generated by EDoc, Aug 2 2016, 13:42:08.