callgraph (library)

Usage and interface

Documentation on exports

PREDICATEcall_graph/2

Usage:call_graph(File,Graph)

Graph is the call-graph of the code in File.

Usage:reachability(Graph,Sources,Reached,UnReached)

Reached are the vertices in Graph reachable from Sources, UnReached are the rest.

Documentation on imports

This module has the following direct dependencies: