Processing math: 16%

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))$