is_directed_acyclic_graph
Return True if the graph G is a directed acyclic graph (DAG) or False if not.