Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: T6999210.java Sprache: PVS

Original von: PVS^©

top_array: THEORY
BEGIN

  IMPORTING            % -------------- arrays -----------------
     min_array,        % defines min function over an array
     max_array,        % defines max function over an array
     permutations,     % permutations defined using arrays
     sort_array,       % defines a sort function over arrays
     sort_array_lems,  % relationship between sort and min and max
     array_ops,        % array operations
     majority_array   % defines majority function over an array

END top_array

¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
Eigene Datei ansehen

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.