Frama-C API - `Make`

Parameters

module Value : Abstract.Value.External

module Loc : Abstract_location.S with type value = Value.t

module Valuation : Eval.Valuation with type value = Value.t and type loc = Loc.location

module Eva : Forward_Evaluation with type value := Value.t and type valuation := Valuation.t

val evaluate : Eva.environment -> Valuation.t -> subdivnb:int -> Eval.exp -> (Valuation.t * Value.t) Eval.evaluated

val reduce_by_enumeration : Eva.environment -> Valuation.t -> Eval.exp -> bool -> Valuation.t Eval.or_bottom