Library goblint.domain

This library is unwrapped and provides the following top-level modules. For better context, see Goblint_lib which also documents these modules.

Domains

• Lattice Signature for lattices. Functors for common lattices.

General

• 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.