| products/sources/formale Sprachen/Coq/theories/Sets/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: sq226a.cob Sprache: VDMOriginal von: VDM© |
|
||||||
|
class Configuration
is subclass of Component instance variables protected config: inmap nat to nat; operations pure protected Encode: nat ==> nat Encode (penc) == if penc in set dom config then return config(penc) else return penc; pure protected Decode: nat ==> nat Decode (pdec) == let invcfg = inverse config in if pdec in set dom invcfg then return invcfg(pdec) else return pdec; public Substitute: nat ==> nat Substitute(pidx) == return Decode(next.Substitute(Encode(pidx))) pre next <> nil end Configuration ¤ Dauer der Verarbeitung: 0.21 Sekunden (vorverarbeitet) ¤ |
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.Die farbliche Syntaxdarstellung ist noch experimentell.Bot Zugriff |
