module NodeNumber: sig .. end
NodeNumber is a module that gives out natural numbers to be assingned to nodes to show the orded in which they were found in depth first search
type int
val get : unit -> int
function that returns the next available number
Returns next number - NodeNumber num type
val to_string : int -> string
returns string representation of NodeNumber
Returns string
val from_string : string -> int
returns integer of string
Returns integer
val invalid_num : int
invalid_id returns 0, that is newer returned by function get
Returns 0
val from_int : 'a -> 'a
NodeNumber element from integer
Returns num
val refresh : int -> int
resets the next id to restart the numbering from somewhere
Returns NodeNumber element that is one less than the next element that is given out
| Parameters: |
|
i |
: |
int
- integer that is one less than the next NodeNumber
|
|