Functor Iterator.Computer

module Computer: functor (Abstract : Abstractions.Eva) -> functor (States : Powerset.S  with type state = Abstract.Dom.t) -> functor (Transfer : Transfer_stmt.S  with type state = Abstract.Dom.t
                                 and type value = Abstract.Val.t) -> functor (Init : Initialization.S  with type state := Abstract.Dom.t) -> functor (Logic : Transfer_logic.S  with type state = Abstract.Dom.t
                               and type states = States.t) -> functor (Spec : sig

val treat_statement_assigns : Cil_types.assigns -> Abstract.Dom.t -> Abstract.Dom.t

end) -> sig .. end

Parameters:

`Abstract`	:	`Abstractions.Eva`
`States`	:	`Powerset.S with type state = Abstract.Dom.t`
`Transfer`	:	`Transfer_stmt.S with type state = Abstract.Dom.t and type value = Abstract.Val.t`
`Init`	:	`Initialization.S with type state := Abstract.Dom.t`
`Logic`	:	`Transfer_logic.S with type state = Abstract.Dom.t and type states = States.t`
`Spec`	:	`sig val treat_statement_assigns: assigns -> Abstract.Dom.t -> Abstract.Dom.t end`

val compute : save_results:bool ->
       Cil_types.kernel_function ->
       Cil_types.kinstr ->
       Abstract.Dom.t -> (Partition.key * Abstract.Dom.t) list * Eval.cacheable