quarp v0.2.0 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

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

Link to this function

new_context_obs(obs, arg2) View Source

Creates an observable carrying the contexts for the given guarantee at the rate of the given observalbe.

Link to this function

sufficient_quality?(context, arg2) View Source

Decides whether a given context is acceptable under given consistency guarantee.