[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
#list-datafunction, list → nat
#arrayfunction, array → nat
#ocboollistfunction, bool × list → nat
#oclist-permfunction, elem × list → nat
%nat-divfunction, nat × nat → nat
%int-divfunction, int × int → int
'boollistfunction, bool → list
'listfunction, elem → list
*nat-multfunction, nat × nat → nat
*int-multfunction, int × int → int
+int-basic2function, int × int → int
+boollistfunction, bool × list → list
+boollistfunction, list × bool → list
+boollistfunction, bool × bool → list
+listfunction, list × list → list
+listfunction, list × elem → list
+listfunction, elem × elem → list
+list-datafunction, elem × list → list
+nat-basic2function, nat × nat → nat
++boollistfunction, list × bool → list
++list-dupfunction, list × elem → list
+1int-basic1function, int → int
+1nat-basic1function, nat → nat
-int-absfunction, int × int → int
-natfunction, nat × nat → nat
-1int-basic1function, int → int
-1nat-basic1function, nat → nat
-1lboollistfunction, list × bool → list
-1llist-delfunction, list × elem → list
-1llist-delfunction, list × nat → list
-lboollistfunction, list × bool → list
-llist-delfunction, list × elem → list
.butlastlist-lastfunction, list → list
.firstboollistpredicate, list
.firstlist-datafunction, list → elem
.lastboollistpredicate, list
.lastlist-lastfunction, list → elem
.restlist-datafunction, list → list
/nat-divfunction, nat × nat → nat
/int-divfunction, int × int → int
<int-basic1predicate, int × int
<boollistpredicate, bool × bool
<oelempredicate, elem × elem
<list-datapredicate, list × list
<nat-basic1predicate, nat × nat
>int-abspredicate, int × int
>natpredicate, nat × nat
[]list-dataconstant, list
\list-setfunction, list × list → list
]boollistpredicate, list × nat
]boollistfunction, list × nat × bool → list
]list-delfunction, list × nat → elem
]list-delfunction, list × nat × elem → list
]boolarrpredicate, array × nat
]boolarrfunction, array × nat × bool → array
]arrayfunction, array × nat → elem
]arrayfunction, array × nat × elem → array
aelemvariable, elem
a0list-datavariable, elem
absint-absfunction, int → int
ararrayvariable, array
ar0arrayvariable, array
ar1arrayvariable, array
ar2arrayvariable, array
arr2listarr2listfunction, array × nat → list
arrayarraysort,
belemvariable, elem
boolboollistsort,
boolboolarrsort,
butlastnlist-lastfunction, nat × list → list
bvboollistvariable, bool
bvboolarrvariable, bool
bv0boollistvariable, bool
bv0boolarrvariable, bool
bv1boollistvariable, bool
bv1boolarrvariable, bool
bv2boollistvariable, bool
celemvariable, elem
disjlist-duppredicate, list × list
dupslist-duppredicate, list
elemelemsort,
fillfirstboollistfunction, nat × bool × list → list
fillfirstlist-lastfunction, nat × elem × list → list
filterlist-setfunction, list × list → list
firstnlist-delfunction, nat × list → list
fromeboollistfunction, list × bool → list
fromelist-delfunction, list × elem → list
iint-basic1variable, int
i0int-basic1variable, int
ins≤boollistfunction, bool × list → list
ins≤olistfunction, elem × list → list
intint-basic1sort,
ispermarr2listpredicate, array × array
issortedarr2listpredicate, array
i→nintnatfunction, int → nat
jint-basic1variable, int
j0int-basic1variable, int
lastnlist-delfunction, nat × list → list
listlist-datasort,
mnat-basic2variable, nat
mergeolistfunction, list × list → list
mkarrayarrayfunction, nat → array
mklistboollistfunction, bool × nat → list
mklistlist-lastfunction, elem × nat → list
nnat-basic1variable, nat
n0nat-basic1variable, nat
n1nat-basic1variable, nat
natnat-basic1sort,
n→iintnatfunction, nat → int
ordered<olistpredicate, list
ordered≤olistpredicate, list
permlist-permpredicate, list × list
posboollistfunction, bool × list → nat
poslist-delfunction, elem × list → nat
posboolarrfunction, array × bool → nat
posarrayfunction, array × elem → nat
restnlist-delfunction, nat × list → list
revlist-lastfunction, list → list
rmduplist-dupfunction, list → list
sortolist-sortfunction, list → list
sublistlist-delfunction, nat × nat × list → list
swap#2-way-sortprocedure, int × int : array
two_way_sort#2-way-sortprocedure, : array
xlist-datavariable, list
x0list-datavariable, list
x1list-datavariable, list
x2list-datavariable, list
ylist-datavariable, list
y0list-datavariable, list
y1list-datavariable, list
y2list-datavariable, list
zlist-datavariable, list
z0list-datavariable, list
z1list-datavariable, list
z2list-datavariable, list
~int-absfunction, int → int
≤int-abspredicate, int × int
≤natpredicate, nat × nat
≥int-abspredicate, int × int
≥natpredicate, nat × nat
∈boollistpredicate, bool × list
∈listpredicate, elem × list
∪list-setfunction, list × list → list
⊆list-setpredicate, list × list
⊆mlist-permpredicate, list × list
⊑list-lastpredicate, list × list
⊒list-lastpredicate, list × list