This library is unwrapped and provides the following top-level modules. For better context, see Goblint_lib which also documents these modules.
Lattice Signature for lattices. Functors for common lattices.BoolDomain Boolean domains.SetDomain Set domains.MapDomain Map domains.TrieDomain Trie domains.DisjointDomain Abstract domains for collections of elements from disjoint unions of domains. Formally, the elements form a cofibered domain from a discrete category.HoareDomain Abstract domains with Hoare ordering.PartitionDomain Partitioning domains.FlagHelper Domain alternatives chosen by a runtime flag.