Module Cfg_analysis.Wto

type pref = Cfg.V.t -> Cfg.V.t -> int

val partition : pref:pref -> init:Cfg.V.t -> succs:(Cfg.V.t -> Cfg.V.t list) -> Cfg.V.t Fixpoint__Wto.component list

val pretty_partition : Stdlib.Format.formatter -> Cfg.V.t Fixpoint__Wto.component list -> unit

val pretty_component : Stdlib.Format.formatter -> Cfg.V.t Fixpoint__Wto.component -> unit

val equal_component : Cfg.V.t Fixpoint__Wto.component -> Cfg.V.t Fixpoint__Wto.component -> bool

val equal_partition : Cfg.V.t Fixpoint__Wto.component list -> Cfg.V.t Fixpoint__Wto.component list -> bool