object

xref_diagram(Format)

Predicates for generating predicate call cross-referencing diagrams.

Author: Paulo Moura
Version: 2.19
Date: 2018/2/4
Compilation flags:
static, context_switching_calls
Extends:

Public interface

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 interface

(see related entities)

Private predicates

included_predicate_/1

Compilation flags:
dynamic

referenced_predicate_/1

Compilation flags:
dynamic

external_predicate_/1

Compilation flags:
dynamic

Operators

(none)