Next: Ada.Containers.Formal_Vectors (a-cofove.ads), Previous: Ada.Containers.Formal_Ordered_Maps (a-cforma.ads), Up: The GNAT Library
Ada.Containers.Formal_Ordered_Sets
(a-cforse.ads)
This child of Ada.Containers
defines a modified version of the Ada 2005
container for ordered sets, meant to facilitate formal verification of
code using such containers.