• Parameters

    • graph: FOLD

      a FOLD object

    Returns number

    the number of vertices in the graph

    Description

    Get the number of vertices in a graph.