package rfsm
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Mark on vertices. Marks can be used if you want to store some information on vertices: it is more efficient to use marks than an external table.
type graph = tType of graphs.
type vertex = vertexType of graph vertices.
val clear : graph -> unitclear g sets all the marks to 0 for all the vertices of g.
val get : vertex -> intMark value (in O(1)).
val set : vertex -> int -> unitSet the mark of the given vertex.