Module Partitioned_dataflow

module Partitioned_dataflow: sig .. end
Mark the analysis as aborted. It will be stopped at the next safe point

val signal_abort : unit -> unit
Mark the analysis as aborted. It will be stopped at the next safe point
module Computer: 
functor (Domain : Abstract_domain.External) ->
functor (States : Powerset.S with type state = Domain.t) ->
functor (Transfer : Transfer_stmt.S with type state = Domain.t and type value = Domain.value) ->
functor (Init : Initialization.S with type state := Domain.state) ->
functor (Logic : Transfer_logic.S with type state = Domain.t and type states = States.t) ->
functor (Spec : sig
val treat_statement_assigns : Cil_types.assigns -> Domain.t -> Domain.t
end) -> sig .. end