Functor Partitioned_dataflow.Computer

module Computer: 
functor (Domain : Abstract_domain.External) ->
functor (States : Partitioning.StateSet with type state = Domain.t) ->
functor (Transfer : Transfer_stmt.S with type state = Domain.t and type value = Domain.value and type return = Domain.return) ->
functor (Logic : Transfer_logic.S with type state = Domain.t and type states = States.t) -> sig .. end
Parameters:
Domain : Abstract_domain.External
States : Partitioning.StateSet with type state = Domain.t
Transfer : Transfer_stmt.S with type state = Domain.t and type value = Domain.value and type return = Domain.return
Logic : Transfer_logic.S with type state = Domain.t and type states = States.t

val compute : Cil_types.kernel_function ->
Cil_types.kinstr ->
Domain.t ->
(Domain.t, Domain.return, Domain.value) Eval.call_result *
Value_types.cacheable