Up – Package index » goblint » Library goblint.lib » Goblint_lib » LockDomain

Module `Goblint_lib.LockDomain`

Lockset domains.

module Addr = ValueDomain.Addr

module Offs = ValueDomain.Offs

module Exp = CilType.Exp

module IdxDom = ValueDomain.IndexDomain

module Mutexes : sig ... end

module Simple : sig ... end

module Priorities = IntDomain.Lifted

module Lockset : sig ... end

module MayLockset : sig ... end

module MayLocksetNoRW : sig ... end

module Symbolic : sig ... end