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_callsExtends:
public entity_diagram(Format)Public interface¶
entity/2¶
Creates a diagram for a single entity using the specified options.
Compilation flags:
staticTemplate:
entity(Entity,Options)Mode and number of proofs:
entity(+entity_identifier,+list(compound)) - oneentity/1¶
Creates a diagram for a single entity using default options.
Compilation flags:
staticTemplate:
entity(Entity)Mode and number of proofs:
entity(+entity_identifier) - oneProtected interface¶
(see related entities)
Operators¶
(none)