Frama-C:
Plug-ins:
Libraries:

Frama-C API - Reducer

Value reduced product registration. Registering a value reduced product requires the keys of each value abstractions involved along with a reducer, i.e. a function that perform the reduction.

type ('a, 'b) reducer = 'a -> 'b -> 'a * 'b
val register : 'a Abstract_value.key -> 'b Abstract_value.key -> ('a, 'b) reducer -> unit