Method hasEdge

src/main/java/pascal/taie/util/graph/Graph.java:49–49

@return true if this graph has an edge from given source to target, otherwise false.

(N source, N target)

     * otherwise {@code false}.
     */
    default boolean hasEdge(N source, N target) {
        return getSuccsOf(source).contains(target);
    }