Next: Ada.Containers.Formal_Hashed_Maps (a-cfhama.ads), Previous: Ada.Characters.Wide_Wide_Latin_9 (a-chzla9.ads), Up: The GNAT Library
Ada.Containers.Formal_Doubly_Linked_Lists
(a-cfdlli.ads)
This child of Ada.Containers
defines a modified version of the Ada 2005
container for doubly linked lists, meant to facilitate formal verification of
code using such containers.