package TCSLib

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a undirected_root_graph = 'a * ('a -> 'a Tcsbasedata.Iterators.iterator)
type 'a directed_root_graph = 'a * ('a -> 'a Tcsbasedata.Iterators.iterator) * ('a -> 'a Tcsbasedata.Iterators.iterator)
type 'a occurrence = 'a -> bool
val is_reachable2 : 'a occurrence -> 'a undirected_root_graph -> ('a -> bool) -> bool
val is_reachable : 'a undirected_root_graph -> ('a -> bool) -> bool
val iterate_with_minimal_distance2 : 'a occurrence -> 'a undirected_root_graph -> ('a -> int -> unit) -> unit
val iterate_with_minimal_distance : 'a undirected_root_graph -> ('a -> int -> unit) -> unit
val iterate_with_maximal_distance_single_loop2 : 'a occurrence -> 'a directed_root_graph -> ('a -> int -> unit) -> unit
val iterate_with_maximal_distance_single_loop : 'a directed_root_graph -> ('a -> int -> unit) -> unit
val build_reachability_set2 : ('a -> 'a -> int) -> 'a undirected_root_graph -> 'a Tcsset.TreeSet.t
val build_reachability_set : 'a undirected_root_graph -> 'a Tcsset.TreeSet.t