Module Dpds_gui.DpdsState

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