quarp v0.3.18 Reactivity.Quality.Context View Source
Link to this section Summary
Functions
combines a list of contexts in the case of enforcing glitch freedom [[{s11,{c1low, c1high}},...,{s1n, c1n}], ... , [{sm1,cm1},...,{smn,cmn}]]-> [{sa, ca}, {sb,cb}, ...] Joins the list of contexts into one context of tuples {sender, counter} and removes duplicate tuples
Creates an observable carrying the contexts for the given guarantee at the rate of the given observalbe.
Decides whether a given context is acceptable under given consistency guarantee.
Link to this section Functions
combine(contexts, arg2) View Source
combines a list of contexts in the case of enforcing glitch freedom [[{s11,{c1low, c1high}},...,{s1n, c1n}], ... , [{sm1,cm1},...,{smn,cmn}]]-> [{sa, ca}, {sb,cb}, ...] Joins the list of contexts into one context of tuples {sender, counter} and removes duplicate tuples
new_context_obs(obs, arg2) View Source
Creates an observable carrying the contexts for the given guarantee at the rate of the given observalbe.
sufficient_quality?(context, arg2) View Source
Decides whether a given context is acceptable under given consistency guarantee.