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
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 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)
Operators¶
(none)