PlanarEmbedding.has_successor

PlanarEmbedding.has_successor(u, v)

Returns True if node u has successor v.

This is true if graph has the edge u->v.