The number of vertices in this graph.

var g = new HashDigraph[Int]
g.add_vertex(0)
g.add_vertex(1)
assert g.num_vertices == 2
g.add_vertex(0)
assert g.num_vertices == 2

Property definitions

graph $ Digraph :: num_vertices
	# The number of vertices in this graph.
	#
	# ~~~
	# var g = new HashDigraph[Int]
	# g.add_vertex(0)
	# g.add_vertex(1)
	# assert g.num_vertices == 2
	# g.add_vertex(0)
	# assert g.num_vertices == 2
	# ~~~
	fun num_vertices: Int is abstract
lib/graph/digraph.nit:150,2--160,34

graph $ HashDigraph :: num_vertices
	redef fun num_vertices do return outgoing_vertices_map.keys.length end
lib/graph/digraph.nit:949,2--71