object

xref_diagram(Format)

Predicates for generating predicate call cross-referencing diagrams.

author:
Paulo Moura
version:
2.0
date:
2015/1/2
compilation flags:
static, context_switching_calls
extends:
public entity_diagram(Format)

Public interface

entity/2

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

compilation flags:
static
template:
entity(Entity,Options)
mode – 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 – 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)

Remarks

(none)