Eval.ValuationResults of an evaluation: the results of all intermediate calculation (the value of each expression and the location of each lvalue) are cached here. See Eval for more details.
type value = valueAbstract value.
type origin = originOrigin of values.
type loc = locAbstract memory location.
val empty : tval find :
t ->
Frama_c_kernel.Cil_types.exp ->
( value, origin ) Eva.Eval.record_val Eva.Eval.or_topval add :
t ->
Frama_c_kernel.Cil_types.exp ->
( value, origin ) Eva.Eval.record_val ->
tval fold :
( Frama_c_kernel.Cil_types.exp ->
( value, origin ) Eva.Eval.record_val ->
'a ->
'a ) ->
t ->
'a ->
'aval find_loc :
t ->
Frama_c_kernel.Cil_types.lval ->
loc Eva.Eval.record_loc Eva.Eval.or_topval remove : t -> Frama_c_kernel.Cil_types.exp -> tval remove_loc : t -> Frama_c_kernel.Cil_types.lval -> t