package logtk
-
logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val create :
?eq:('id -> 'id -> bool) ->
?hash:('id -> int) ->
unit ->
('id, 'v, 'e) t * ('id, 'v, 'e) graphCreate a new graph from the given equality and hash function, plus a view of it as an abstract graph
val add_vertex : ('id, 'v, 'e) t -> 'id -> 'v -> unitAdd a vertex to the graph
val add_edge : ('id, 'v, 'e) t -> 'id -> 'e -> 'id -> unitAdd an edge; the two vertices must already exist