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.