Previous Up Next

Interface for module Graph

module type GRAPH =
   sig
     type graph
     type node
     type edge = node × node

     val nodesgraph → node list
     val edgesgraph → edge list

     val succnode → node list
     val prednode → node list
     val adjnode → node list
     val eqnode × node → bool

     val new_graphunit → graph
     val new_nodegraph → node
     exception Graph_edge
     val mk_edgenode × node → unit
     val rm_edgenode × node → unit

     module TableTable.ITABLE with type key = node

     val nodenamenode → string (∗ for debugging ∗) 
end

module Graph : GRAPH

 ,
Previous Up Next