C = isCyclic D
A digraph is cyclic if it contains a cycle, i.e. for some vertex v of D, by following the edges of D, one can return to v.
i1 : D = digraph ({{0,1},{0,2},{2,3},{3,4},{4,2}},EntryMode=>"edges") o1 = Digraph{0 => {1, 2}} 1 => {} 2 => {3} 3 => {4} 4 => {2} o1 : Digraph
i2 : isCyclic D o2 = true