reachability.pl

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

depends_directly(Arg1, Arg2)
reassert_dependency_graph
record_reachability(Arg1)
write_dependency_graph(Arg1, Arg2)
write_dependency_graph(Arg1)