Module `Single_value_abstraction.Bitfield`

The most precise abstraction for finite enumerations: a bitfield, with a bit for each possible value, compactly representing a set of values.

type boolean = Lattices.Quadrivalent.boolean

type enum = Lattices.Bitfield.t

module Enum_Forward : 
  Operator.ENUM_FORWARD
    with module Arity := Operator.Forward_Arity
     and type boolean := boolean
     and type enum := enum

module Enum_Backward : 
  Operator.ENUM_BACKWARD
    with module Arity := Operator.Backward_Arity
     and type boolean := boolean
     and type enum := enum

module Enum_Lattice : Lattices.Sig.ENUM_LATTICE with type t = enum

Module Single_value_abstraction.Bitfield

Module `Single_value_abstraction.Bitfield`