Module Interval_Sentinel.Forwards

Forward transfer functions for all expression constructs. Used to calculate the abstraction of an expression based on abstractions of its components

For a given construct C(z1, .., zn), Forwards.C z1' .. zn' should verify: if for all i contains zi' zi, then contains (Forwards.C z1' .. zn') (C(z1,..,zn))

val const : Z.t -> t
val unop : Ast.Expr.unop -> t -> t
val binop : Ast.Expr.binop -> t -> t -> t
  • raises Division_by_zero
val ternary : t -> t -> t -> t