module DpdsState:State_builder.Option_ref
(
Cil_datatype.Stmt
)
(
sig
val name : string
val dependencies : State.t list
end
)
include State_builder.Ref
val memo : ?change:(data -> data) -> (unit -> data) -> data
Memoization. Compute on need the stored value.
If the data is already computed (i.e. is not None
),
it is possible to change with change
.
val map : (data -> data) -> data option
val may : (data -> unit) -> unit
val get_option : unit -> data option