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

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

Specification suffix-array-base
actualize sort
with nat
by morphism : array → suffixarray; : elem → nat; zero → zero; empty → empty; mkarray → mksuffixarray; ++ → ++; count → count; { } → { }; -- → --; 
            [ ] → [ ]; [ ] → [ ]; # → #; fill → fill; fill → fill; copy → copy; subarray → subarray; pos → pos; mkzarray → mkzarray; 
            mkemparray → mkemparray; splice → splice; resize → resize; + → +; .elems → .elems; elems → elems; ∈ → ∈; ∈ → ∈; cmp → cmp; cmp → cmp; 
            idrange → idrange; id○ → id○; range= → range=; reflexive → reflexive; transitive → transitive; total → total; sorted → sorted; 
            sorted → sorted; inv-outer → inv-outer; inv-inner → inv-inner; sort# → sort#; ar → sar; ar0 → sar0; ar1 → sar1; ar2 → sar2; a → k; b → k0; 
            c → k1; ⊑ → ⊑; R → R;
end actualize