package fungi

  1. Overview
  2. Docs

Module Scc.SccSetSource

Sourcetype 'a set
Sourceval empty : sccnode set
Sourceval mem : sccnode -> sccnode set -> bool
Sourceval cardinal : sccnode set -> int
Sourceval of_list : sccnode list -> sccnode set
Sourceval to_list : sccnode set -> sccnode list
Sourceval root : sccnode set -> sccnode option
Sourceval choose : sccnode set -> sccnode
Sourceval take_min_opt : sccnode set -> sccnode option * sccnode set
Sourceval take_min : sccnode set -> sccnode * sccnode set
Sourceval take_max_opt : sccnode set -> sccnode option * sccnode set
Sourceval invert : sccnode set -> sccnode set
Sourceval inorder : sccnode list -> sccnode set -> sccnode list
Sourceval iter : (sccnode -> unit) -> sccnode set -> unit
Sourceval traverse : (sccnode -> 'b -> 'b) -> 'b -> sccnode set -> 'b
Sourceval preorder : sccnode list -> sccnode set -> sccnode list
Sourceval iter_preorder : (sccnode -> unit) -> sccnode set -> unit
Sourceval postorder : sccnode list -> sccnode set -> sccnode list
Sourceval iter_postorder : (sccnode -> unit) -> sccnode set -> unit
Sourceval fold : (sccnode -> 'b -> 'b) -> sccnode set -> 'b -> 'b
Sourceval remove : sccnode -> sccnode set -> sccnode set
Sourceval is_empty : sccnode set -> bool
Sourceval elements : sccnode set -> sccnode list
Sourceval filter : (sccnode -> bool) -> sccnode set -> sccnode set
Sourceval for_all : (sccnode -> bool) -> sccnode set -> bool
Sourceval subset : sccnode set -> sccnode set -> bool
Sourceval subset_seq : sccnode set -> sccnode set Seq.t
Sourceval to_seq : sccnode set -> sccnode Seq.t
Sourceval singleton : sccnode -> sccnode set
Sourceval min_elt_opt : sccnode set -> sccnode option
Sourceval max_elt_opt : sccnode set -> sccnode option
Sourceval of_seq : sccnode Seq.t -> sccnode set
Sourceval exists : (sccnode -> bool) -> sccnode set -> bool
Sourceval find_first_opt : (sccnode -> bool) -> sccnode set -> sccnode option
Sourceval find_first : (sccnode -> bool) -> sccnode set -> sccnode