package TCSLib
-
TCSLib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package TCSLib
Legend:
Library
Module
Module type
Parameter
Class
Class type
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)val is_reachable2 :
'a occurrence ->
'a undirected_root_graph ->
('a -> bool) ->
boolval is_reachable : 'a undirected_root_graph -> ('a -> bool) -> boolval iterate_with_minimal_distance2 :
'a occurrence ->
'a undirected_root_graph ->
('a -> int -> unit) ->
unitval iterate_with_minimal_distance :
'a undirected_root_graph ->
('a -> int -> unit) ->
unitval iterate_with_maximal_distance_single_loop2 :
'a occurrence ->
'a directed_root_graph ->
('a -> int -> unit) ->
unitval iterate_with_maximal_distance_single_loop :
'a directed_root_graph ->
('a -> int -> unit) ->
unitval build_reachability_set2 :
('a -> 'a -> int) ->
'a undirected_root_graph ->
'a Tcsset.TreeSet.tval build_reachability_set : 'a undirected_root_graph -> 'a Tcsset.TreeSet.t