module Compute: sig
.. end
module DomKernel: Plugin.Register
(
sig
val name : string
val shortname : string
val help : string
end
)
module DomSet: sig
.. end
module type MakePostDomArg = sig
.. end
module MakePostDom:
module PostDomDb:
module PostDomBasic: PostDomDb
(
sig
val is_accessible : 'a -> bool
val dependencies : 'a list
val name : string
val eval_cond : 'a -> 'b -> bool * bool
end
)
(
Db.Postdominators
)
val output : unit -> unit
module PostDomVal: PostDomDb
(
sig
val is_accessible : Cil_types.stmt -> bool
val dependencies : State.t list
val name : string
val eval_cond : Cil_types.stmt -> 'a -> bool * bool
end
)
(
Db.PostdominatorsValue
)