bquarp v0.2.0 API Reference

The DSL for distributed reactive programming.

Essential operations on message contexts. For every guarantee, the functions combine, penalty and transform need to be implemented. Guarantees with obvious context-progression (e.g. with counters) should implement new_context_obs.

Essential operations on guarantees. For every guarantee, the function semantics needs to be implemented.