Returns the number of graph vertices. Classes extending DirectedGraphBase should make sure that the length is obtained from an EfficientLengthIterable.
DirectedGraphBase
length
EfficientLengthIterable
@override int get length;