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 summary = Domain.summary) -> 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 summary = Domain.summary`
`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.summary, Domain.value) Eval.call_result *
       Value_types.cacheable