Module Region_analysis_stmt.MakeNode

Parameters

module M : sig ... end

Signature

type node = Frama_c_kernel.Cil_types.stmt

val equal : node -> node -> bool

val pretty : Stdlib.Format.formatter -> node -> unit

module Dict : sig ... end

module Set : Stdlib.Set.S with type elt = node

module Graph : sig ... end

module DomTree : sig ... end

module Edge_Dict : sig ... end

type abstract_value = M.abstract_value

val compile_node : node -> abstract_value -> (node Fixpoint.Region_analysis.edge * abstract_value) list

val join : abstract_value list -> abstract_value

val mu : (abstract_value -> abstract_value) -> abstract_value -> abstract_value