[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
#	suffix-array-base	function, suffixarray → nat
#	array	function, array → nat
#	bag-union	function, bag → nat
#	set-basic	function, set → nat
+	array-splice	function, array × array → array
+	suffix-array-base	function, suffixarray × suffixarray → suffixarray
+	nat-basic2	function, nat × nat → nat
++	suffix-array-base	function, bag × nat → bag
++	bag-basic	function, bag × elem → bag
++	set-basic	function, set × elem → set
++	nat-set	function, set × nat → set
+1	nat-basic1	function, nat → nat
-	nat	function, nat × nat → nat
--	suffix-array-base	function, bag × nat → bag
--	bag-union	function, bag × elem → bag
--	set-union	function, set × elem → set
--	nat-set	function, set × nat → set
-1	nat-basic1	function, nat → nat
.butmax	oset	function, set → set
.butmin	oset	function, set → set
.elems	suffix-array-base	function, suffixarray → bag
.elems	bag-array	function, array → bag
.max	nat-set	function, set → nat
.max	oset	function, set → elem
.min	nat-set	function, set → nat
.min	oset	function, set → elem
<	oelem	predicate, elem × elem
<	suffix	predicate, array × array
<	nat-basic1	predicate, nat × nat
<	nat-set	predicate, nat × set
<	nat-set	predicate, set × nat
<	oset	predicate, elem × set
<	oset	predicate, set × elem
>	nat	predicate, nat × nat
Boolvar	gearray	variable, bool,flexible
R	suffix-array-base	variable, nat × nat → bool
R	order	variable, elem × elem → bool
\	bag-union	function, bag × bag → bag
\	set-union	function, set × set → set
]	suffix-array-base	function, suffixarray × nat → nat
]	suffix-array-base	function, suffixarray × nat × nat → suffixarray
]	array	function, array × nat → elem
]	array	function, array × nat × elem → array
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
bag	bag-basic	variable, bag
bag	bag-basic	sort,
bag0	bag-basic	variable, bag
bag1	bag-basic	variable, bag
bag2	bag-basic	variable, bag
bag<	suffix-array	function, nat → bag
boolvar	gearray	variable, bool
boolvar0	gearray	variable, bool
boolvar1	gearray	variable, bool
c	elem	variable, elem
cmp	suffix-array-base	predicate, suffixarray × nat × suffixarray × nat × nat
cmp	suffix-array-base	predicate, suffixarray × nat × nat × nat
cmp	array-copy	predicate, array × nat × array × nat × nat
cmp	array-copy	predicate, array × elem × nat × nat
copy	suffix-array-base	function, suffixarray × nat × suffixarray × nat × nat → suffixarray
copy	array-copy	function, array × nat × array × nat × nat → array
count	suffix-array-base	function, nat × bag → nat
count	bag-basic	function, elem × bag → nat
create_suffixarray#	suffix-array-ops	procedure, array : suffixarray
elem	elem	sort,
elems	suffix-array-base	function, suffixarray × nat → bag
elems	bag-array	function, array × nat → bag
empty	array-splice	constant, elem
empty	suffix-array-base	constant, nat
fill	suffix-array-base	function, suffixarray × nat × nat × nat → suffixarray
fill	suffix-array-base	function, suffixarray × nat → suffixarray
fill	array-copy	function, array × elem × nat × nat → array
fill	array-copy	function, array × elem → array
idrange	suffix-array-base	predicate, suffixarray × nat × nat
idrange	array-copy	predicate, array × nat × nat
id○	suffix-array-base	predicate, suffixarray × suffixarray × nat
id○	array-copy	predicate, array × array × nat
inv	lrs-ops	predicate, nat × nat × nat × array × suffixarray
inv-inner	suffix-array-base	predicate, suffixarray × suffixarray × nat × nat × nat × nat → bool
inv-inner	sort	predicate, array × array × nat × nat × elem × elem → bool
inv-outer	suffix-array-base	predicate, suffixarray × suffixarray × nat × nat × nat → bool
inv-outer	sort	predicate, array × array × nat × elem × elem → bool
k	suffix-array-base	variable, nat
k0	suffix-array-base	variable, nat
k1	suffix-array-base	variable, nat
lcp	lcp	function, array × nat × nat → nat
lcp#	lcp	procedure, array × nat × nat : nat
lrs	lrs	predicate, array × nat × nat × nat
lrs#	lrs-ops	procedure, array : nat × nat
m	nat-basic2	variable, nat
m0	array-copy	variable, nat
m1	lrs	variable, nat
m2	lrs-ops	variable, nat
max	min-max	function, nat × nat → nat
min	min-max	function, nat × nat → nat
mkarray	array	function, nat → array
mkemparray	array-splice	function, nat → array
mkemparray	suffix-array-base	function, nat → suffixarray
mksuffixarray	suffix-array-base	function, nat → suffixarray
mkzarray	array-splice	function, nat → array
mkzarray	suffix-array-base	function, nat → suffixarray
n	nat-basic1	variable, nat
n0	nat-basic1	variable, nat
n1	nat-basic1	variable, nat
n2	nat-set	variable, nat
n3	nat-set	variable, nat
n4	nat-set	variable, nat
nat	nat-basic1	sort,
pos	suffix-array-base	function, suffixarray × nat → nat
pos	array-copy	function, array × elem → nat
range=	array-splice	predicate, array × nat × array × nat × nat
range=	suffix-array-base	predicate, suffixarray × nat × suffixarray × nat × nat
reflexive	suffix-array-base	predicate, nat × nat → bool
reflexive	order	predicate, elem × elem → bool
resize	array-splice	function, array × nat → array
resize	suffix-array-base	function, suffixarray × nat → suffixarray
rs	lrs	predicate, array × nat × nat × nat
s	set-basic	variable, set
s0	set-basic	variable, set
s1	set-basic	variable, set
s2	set-basic	variable, set
sar	suffix-array-base	variable, suffixarray
sar0	suffix-array-base	variable, suffixarray
sar1	suffix-array-base	variable, suffixarray
sar2	suffix-array-base	variable, suffixarray
set	set-basic	sort,
sort#	suffix-array-base	procedure, nat × nat → bool : suffixarray
sort#	sort	procedure, elem × elem → bool : array
sorted	suffix-array-base	predicate, suffixarray × nat × nat → bool
sorted	suffix-array-base	predicate, suffixarray × nat × nat × nat × nat → bool
sorted	sorted	predicate, array × elem × elem → bool
sorted	sorted	predicate, array × nat × nat × elem × elem → bool
splice	array-splice	function, array × nat × array × nat × nat → array
splice	suffix-array-base	function, suffixarray × nat × suffixarray × nat × nat → suffixarray
subarray	suffix-array-base	function, suffixarray × nat × nat → suffixarray
subarray	array-copy	function, array × nat × nat → array
suffix	suffix	function, array × nat → array
suffixarray	suffix-array-base	sort,
total	suffix-array-base	predicate, nat × nat → bool
total	order	predicate, elem × elem → bool
transitive	suffix-array-base	predicate, nat × nat → bool
transitive	order	predicate, elem × elem → bool
valid	suffix-array	predicate, suffixarray × array
zero	array-splice	constant, elem
zero	suffix-array-base	constant, nat
}	suffix-array-base	function, nat → bag
}	bag-union	function, elem → bag
}	set-union	function, elem → set
}	nat-set	function, nat → set
≤	nat	predicate, nat × nat
≥	nat	predicate, nat × nat
∈	suffix-array-base	predicate, nat × bag
∈	suffix-array-base	predicate, nat × suffixarray
∈	array-copy	predicate, elem × array
∈	bag-union	predicate, elem × bag
∈	set-basic	predicate, elem × set
∈	nat-set	predicate, nat × set
∪	bag-union	function, bag × bag → bag
∪	set-union	function, set × set → set
∩	set-union	function, set × set → set
⊆	bag-union	predicate, bag × bag
⊆	set-basic	predicate, set × set
⊑	suffix-array-base	variable, nat × nat → bool
⊑	sorted	variable, elem × elem → bool
∅	bag-basic	constant, bag
∅	set-basic	constant, set