The Primitives structure

« 210 Library Documentation

Overview

Implements the PRIMITIVES signature.

Primitives Cost Specification

Work Span
par $(f, g)$ \[O(W_f(n) + W_g(n))\] \[O(\max(S_f(n), S_g(n)))\]
par3 $(f, g, h)$ \[O(W_f(n) + W_g(n) + W_h(n))\] \[O(\max(S_f(n), S_g(n), S_h(n)))\]
par4 $(f, g, h, i)$ \[O(W_f(n) + W_g(n) + W_h(n) + W_i(n))\] \[O(\max(S_f(n), S_g(n), S_h(n), S_i(n)))\]
parTab $(n, f)$ \[O(\sum_{i=0}^{n-1}W_f(i))\] \[O(\max_{i=0}^{n-1}S_f(i))\]