PlanarEmbedding.has_predecessor

PlanarEmbedding.has_predecessor(u, v)

Returns True if node u has predecessor v.

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