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 = 
| Equality
| Relation
| Subtraction
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.