object

xref_diagram(Format)

  • Format - Graph language file format

Predicates for generating predicate call cross-referencing diagrams.

Author: Paulo Moura
Version: 2.59
Date: 2019/9/23
Compilation flags:
static, context_switching_calls
Remarks:
(none)

Public predicates

entity/2

Creates a diagram for a single entity using the specified options.

Compilation flags:
static
Template:
entity(Entity,Options)
Mode and number of proofs:
entity(+entity_identifier,+list(compound)) - one

entity/1

Creates a diagram for a single entity using default options.

Compilation flags:
static
Template:
entity(Entity)
Mode and number of proofs:
entity(+entity_identifier) - one

Protected predicates

(see entity ancestors)

Private predicates

included_predicate_/1

Compilation flags:
dynamic

referenced_predicate_/1

Compilation flags:
dynamic

external_predicate_/1

Compilation flags:
dynamic