products/sources/formale sprachen/C/Lyx/development/Code_rules image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Recommendations   Sprache: Ada

Original von: Isabelle©

-------------------------------------------------------------------------------
-- Longest increasing subsequence of an array of integers
-------------------------------------------------------------------------------

package Liseq is

   type Vector is array (Integer range <>) of Integer;

   --# function Liseq_prfx(A: Vector; i: Integer) return Integer;
   --# function Liseq_ends_at(A: Vector; i: Integer) return Integer;
   --# function Max_ext(A: Vector; i, j: Integer) return Integer;

   procedure Liseq_length(A: in Vector; L: in out Vector; maxi: out Integer);
   --# derives maxi, L from A, L;
   --# pre A'First = 0 and L'First = 0 and A'Last = L'Last and A'Last < Integer'Last;
   --# post maxi = Liseq_prfx (A, A'Last+1);

end Liseq;

¤ Dauer der Verarbeitung: 0.2 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.


Bot Zugriff