Module Abstract_value

module Abstract_value: sig .. end

Abstract numeric values of the analysis.

type 'v truth = [ `False | `True | `TrueReduced of 'v | `Unknown of 'v | `Unreachable ]

Type for the truth value of an assertion in a value abstraction. The two last tags should be used only for a product of value abstractions.

type bound_kind = Alarms.bound_kind =

`\|`	`Lower_bound`
`\|`	`Upper_bound`

type bound =

`\|`	`Int of Integer.t`
`\|`	`Float of float * Cil_types.fkind`

type pointer_comparison =

module type S = sig .. end

Signature of abstract numerical values.

type 'v key = 'v Structure.Key_Value.key

module type Leaf = sig .. end

Signature for a leaf module of abstract values.