Hej! jeg er ikke så god til VDM notation så hvis der er nogen som kan fortælle mig hvad der står skal jeg nok skrive det om til en kode: (* er der bare for at der er indrykning og e mellem v og V betyder tilhør).
enum(A: Seq of By, V: Set of By) begin **if V = Ø then *****print(A) **else ****for v e V *******enum(A -> [v] , V\{v}) ****end-for **end-if end
enum(A: Seq of By, V: Set of By) begin // Hvis V er tom, er vi ved slutningen, og så skal ... if V = Ø then // ... sekvensen A udskrives print(A)
// Og ellers ... else // ... løber vi igennem samtlige elementer v i mængden V for v e V // ... hvor vi forlænger sekvensen A med elementet v // ... og bruger mængden V med elementet v fjernet enum(A -> [v] , V\{v}) end-for end-if end
Tilladte BB-code-tags: [b]fed[/b] [i]kursiv[/i] [u]understreget[/u] Web- og emailadresser omdannes automatisk til links. Der sættes "nofollow" på alle links.