sig
type state
val top : Abstract_domain.Lattice.state
val is_included :
Abstract_domain.Lattice.state -> Abstract_domain.Lattice.state -> bool
val join :
Abstract_domain.Lattice.state ->
Abstract_domain.Lattice.state -> Abstract_domain.Lattice.state
val widen :
Cil_types.kernel_function ->
Cil_types.stmt ->
Abstract_domain.Lattice.state ->
Abstract_domain.Lattice.state -> Abstract_domain.Lattice.state
val narrow :
Abstract_domain.Lattice.state ->
Abstract_domain.Lattice.state ->
Abstract_domain.Lattice.state Eval.or_bottom
end