sig
type t
val pretty : Format.formatter -> CfgCompiler.Cfg.P.t -> unit
val create :
S.t CfgCompiler.Cfg.Node.Map.t -> Lang.F.pred -> CfgCompiler.Cfg.P.t
val get : CfgCompiler.Cfg.P.t -> Lang.F.pred
val reads : CfgCompiler.Cfg.P.t -> S.domain CfgCompiler.Cfg.Node.Map.t
val nodes : CfgCompiler.Cfg.P.t -> CfgCompiler.Cfg.Node.Set.t
val relocate :
S.t CfgCompiler.Cfg.Node.Map.t ->
CfgCompiler.Cfg.P.t -> CfgCompiler.Cfg.P.t
val to_condition :
CfgCompiler.Cfg.P.t ->
(CfgCompiler.Cfg.C.t * CfgCompiler.Cfg.Node.t option) option
end