Returns the number of edges in the edge-weighted digraph.

public int E { get; }