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 (Logic : Transfer_logic.S  with type state = Domain.t
                               and type states = States.t) -> sig .. end

Parameters:

`Domain`	:	`Abstract_domain.External`
`States`	:	`Powerset.S with type state = Domain.t`
`Transfer`	:	`Transfer_stmt.S with type state = Domain.t and type value = Domain.value`
`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 list Eval.or_bottom * Value_types.cacheable