Functor Subdivided_evaluation.Make

module Make: functor (Value : Abstract.Value.External) -> functor (Loc : Abstract_location.S  with type value = Value.t) -> functor (Valuation : Valuation  with type value = Value.t
                           and type loc = Loc.location) -> functor (Eva : Forward_Evaluation  with type value := Value.t
                              and type valuation := Valuation.t) -> sig .. end

Parameters:

`Value`	:	`Abstract.Value.External`
`Loc`	:	`Abstract_location.S with type value = Value.t`
`Valuation`	:	`Valuation with type value = Value.t and type loc = Loc.location`
`Eva`	:	`Forward_Evaluation with type value := Value.t and type valuation := Valuation.t`

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

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