Copyright © 2012 Zuse Institute Berlin
Version: $Id$
Authors: Stefan Keidel (keidel@informatik.hu-berlin.de).
state() =
{SnapNo :: non_neg_integer(),
InProgress :: boolean(),
Snapshots :: ets:tid() | atom(),
Interval :: intervals:interval(),
ErrorInterval :: intervals:interval(),
Client :: comm:mypid() | false}
new() -> state()
new(Number :: non_neg_integer(),
InProgress :: boolean(),
Client :: comm:mypid() | false,
X4 :: state()) ->
state()
get_number(State :: state()) -> non_neg_integer()
is_in_progress(State :: state()) -> boolean()
get_global_snapshot(State :: state()) -> list()
get_client(State :: state()) -> comm:mypid()
interval_union_is_all(State :: state()) -> boolean()
get_error_interval(State :: state()) -> intervals:interval()
add_interval(X1 :: state(), NewInterval :: intervals:interval()) -> state()
add_error_interval(X1 :: state(), NewInterval :: intervals:interval()) -> state()
Generated by EDoc, Apr 22 2017, 16:02:54.