Functor Partitioned_dataflow.Computer

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

val compute : Cil_types.kernel_function ->
       Cil_types.kinstr ->
       Domain.t -> Domain.t list Eval.or_bottom * Value_types.cacheable