[ library(graph_algorithms) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
proper_graph(+Graph)
Tests the integrity of the given graph data structure
- Graph
- a graph structure
Description
Modes and Determinism
- proper_graph(+) is semidet
See Also