Frama-C:
Plug-ins:
Libraries:

Frama-C API - MakeFlow

Flows are used to transfer states from one partition to another, by applying transfer functions and partitioning actions. They do not enforce the unicity of keys.

Parameters

Signature

type state = Abstract.Dom.t
type t
val empty : t
val initial : state list -> t
val to_list : t -> state list
val of_partition : state partition -> t
val to_partition : t -> state partition
val is_empty : t -> bool
val size : t -> int
val union : t -> t -> t
val transfer : ((key * state) -> (key * state) list) -> t -> t
val transfer_keys : t -> action -> t
val iter : (key -> state -> unit) -> t -> unit
val filter_map : (key -> state -> state option) -> t -> t
val join_duplicate_keys : t -> t