[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
#	int-array	function, int-array → nat
%	int-div	partial function, int × int → int
*	int-mult	function, int × int → int
+	nat-basic	function, nat × nat → nat
+	int-basic2	function, int × int → int
+1	nat-basic	function, nat → nat
+1	int-basic1	function, int → int
-	nat	partial function, nat × nat → nat
-	int-abs	function, int × int → int
-1	nat-basic	partial function, nat → nat
-1	int-basic1	function, int → int
/	int-div	partial function, int × int → int
<	nat-basic	predicate, nat × nat
<	int-basic1	predicate, int × int
>	nat	predicate, nat × nat
>	int-abs	predicate, int × int
]	array	partial function, array × nat × elem → array
]	array	partial function, array × nat → elem
]	int-array	partial function, int-array × nat × int → int-array
]	int-array	partial function, int-array × nat → int
a	elem	variable, elem
a	kadane	variable, int-array
abs	int-abs	function, int → int
ar	array	variable, array
ar	int-array	variable, int-array
ar0	array	variable, array
ar0	int-array	variable, int-array
ar1	array	variable, array
ar1	int-array	variable, int-array
ar2	array	variable, array
ar2	int-array	variable, int-array
array	array	sort,
b	elem	variable, elem
c	elem	variable, elem
cmp	array-copy	partial predicate, array × elem × nat × nat
cmp	array-copy	partial predicate, array × nat × array × nat × nat
cmp	array-copy	predicate, array × elem
cmp	int-array	partial predicate, int-array × int × nat × nat
cmp	int-array	partial predicate, int-array × nat × int-array × nat × nat
cmp	int-array	predicate, int-array × int
copy	array-copy	partial function, array × nat × array × nat × nat → array
copy	int-array	partial function, int-array × nat × int-array × nat × nat → int-array
elem	elem	sort,
fill	array-copy	partial function, array × elem × nat × nat → array
fill	array-copy	function, array × elem → array
fill	int-array	partial function, int-array × int × nat × nat → int-array
fill	int-array	function, int-array × int → int-array
i	int-basic1	variable, int
i0	int-basic1	variable, int
idrange	array-copy	partial predicate, array × nat × nat
idrange	int-array	partial predicate, int-array × nat × nat
id○	array-copy	predicate, array × array × nat
id○	int-array	predicate, int-array × int-array × nat
int	int-basic1	sort,
int-array	int-array	sort,
j	int-basic1	variable, int
j0	int-basic1	variable, int
m	nat-basic	variable, nat
m0	array-copy	variable, nat
maxSubArraySum#	kadane	procedure, int-array : : int
max_ending_here	kadane	variable, int
max_so_far	kadane	variable, int
maximum-suffix-sum	int-array-ops	predicate, int-array × nat × int
maximum-sum	int-array-ops	predicate, int-array × nat × nat × int
maximum-sum	int-array-ops	predicate, int-array × int
mkarray	array	function, nat → array
mkarray	int-array	function, nat → int-array
n	nat-basic	variable, nat
n0	nat-basic	variable, nat
n1	nat-basic	variable, nat
nat	nat-basic	sort,
res	kadane	variable, int
rev	array-copy	partial function, array × nat → array
rev	array-copy	function, array → array
rev	int-array	partial function, int-array × nat → int-array
rev	int-array	function, int-array → int-array
size	kadane	variable, nat
subarray	array-copy	partial function, array × nat × nat → array
subarray	int-array	partial function, int-array × nat × nat → int-array
suffix-upper-bound	int-array-ops	predicate, int-array × int
sum	int-array-ops	function, int-array × nat × nat → int
upper-bound	int-array-ops	predicate, int-array × int
~	int-abs	function, int → int
∈	array-copy	predicate, elem × array
∈	int-array	predicate, int × int-array
≤	nat	predicate, nat × nat
≤	int-abs	predicate, int × int
≥	nat	predicate, nat × nat
≥	int-abs	predicate, int × int