object

library_load_diagram(Format)

  • Format - Graph language file format

Predicates for generating library loading dependency diagrams.

Author: Paulo Moura
Version: 2:30:0
Date: 2022-05-23
Compilation flags:
static, context_switching_calls
Remarks:
(none)

Public predicates

(no local declarations; see entity ancestors if any)

Protected predicates

(no local declarations; see entity ancestors if any)

Private predicates

sub_diagram_/1

Table of library sub-diagrams to support their generation.

Compilation flags:
dynamic
Template:
sub_diagram_(Library)
Mode and number of proofs:
sub_diagram_(?atom) - zero_or_more

Operators

(none)