[Imprint][Data Privacy Statement][E-Mail]

Back to the index. View project statistic. View project symbols. View KIV symbols to check that all symbols are available.

All project symbols

symbol	specification	entry
#	array	function, array → nat
#fz	split-finalzeros	function, nat → nat
%	nat-div	function, nat × nat → nat
*	nat-mult	function, nat × nat → nat
+	int-basic2	function, int × int → int
+	nat-basic2	function, nat × nat → nat
+1	int-basic1	function, int → int
+1	nat-basic1	function, nat → nat
-	nat	function, nat × nat → nat
-1	int-basic1	function, int → int
-1	nat-basic1	function, nat → nat
/	nat-div	function, nat × nat → nat
2^	nat-pot	function, nat → nat
<	int-basic1	predicate, int × int
<	nat-basic1	predicate, nat × nat
>	nat	predicate, nat × nat
DOWNSWEEP	prefixsum	procedure, nat : array
DOWNSWEEPH	prefixsum	procedure, nat × nat : array
PREFIXSUM	prefixsum	procedure, : array
UPSWEEP	prefixsum	procedure, : array
UPSWEEPH	prefixsum	procedure, nat × nat : array
]	array-of-int	function, array × nat → int
]	array-of-int	function, array × nat × int → array
]	array	function, array × nat → elem
]	array	function, array × nat × elem → array
^	nat-pot	function, nat × nat → nat
a	elem	variable, elem
ar	array	variable, array
ar0	array	variable, array
ar1	array	variable, array
ar2	array	variable, array
array	array	sort,
b	elem	variable, elem
c	elem	variable, elem
elem	elem	sort,
even	nat-even	predicate, nat
i	int-basic1	variable, int
i0	int-basic1	variable, int
i1	array-of-int	variable, int
int	int-basic1	sort,
invd	prefixsum	predicate, nat × array × array
invdh	prefixsum	predicate, nat × nat × array × array
invu	prefixsum	predicate, nat × array × array
invuh	prefixsum	predicate, nat × nat × array × array
j	int-basic1	variable, int
j0	int-basic1	variable, int
k	prefixsum	variable, nat
k0	prefixsum	variable, nat
k1	prefixsum	variable, nat
lead	split-finalzeros	function, nat → nat
left	prefixsum	variable, nat
log	nat-pot	function, nat × nat → nat
log2	nat-pot	function, nat → nat
m	nat-basic2	variable, nat
max	nat-even	function, nat × nat → nat
min	nat-even	function, nat × nat → nat
mkarray	array	function, nat → array
n	nat-basic1	variable, nat
n0	nat-basic1	variable, nat
n1	nat-basic1	variable, nat
nat	nat-basic1	sort,
odd	nat-even	predicate, nat
post	prefixsum	predicate, array × array
postu	prefixsum	predicate, array × array
pre	prefixsum	predicate, array × array
right	prefixsum	variable, nat
space	prefixsum	variable, nat
sum	prefixsum	function, array × nat × nat → int
≤	nat	predicate, nat × nat
≥	nat	predicate, nat × nat