[ library(graph_algorithms) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

graph_is_acyclic(+Graph)

Succeeds iff the given graph has no cycles
Graph
a graph structure

Modes and Determinism

Fail Conditions

No topological ordering exists, i.e. the graph is cyclic

See Also

top_sort / 2, graph_cycles / 2