object
lgtdoc¶
Documenting tool. Generates XML documenting files for loaded entities and for library, directory, entity, and predicate indexes.
Author: Paulo Moura
Version: 6:0:0
Date: 2021-01-31
Compilation flags:
static, context_switching_callsRemarks:
(none)
Inherited public predicates:
Public predicates¶
(no local declarations; see entity ancestors if any)
Protected predicates¶
(no local declarations; see entity ancestors if any)
Private predicates¶
library_entity_/4¶
Table of documented entities per library.
Compilation flags:
dynamicTemplate:
library_entity_(Library,PrimarySortKey,SecondarySortKey,Entity)Mode and number of proofs:
library_entity_(?atom,?nonvar,?nonvar,?atom) - zero_or_moredirectory_entity_/4¶
Table of documented entities per directory.
Compilation flags:
dynamicTemplate:
directory_entity_(Directory,PrimarySortKey,SecondarySortKey,Entity)Mode and number of proofs:
directory_entity_(?atom,?nonvar,?nonvar,?atom) - zero_or_moretype_entity_/4¶
Table of documented entities per type.
Compilation flags:
dynamicTemplate:
type_entity_(Type,PrimarySortKey,SecondarySortKey,Entity)Mode and number of proofs:
type_entity_(?atom,?nonvar,?nonvar,?atom) - zero_or_morepredicate_entity_/4¶
Table of public predicates for all documented entities.
Compilation flags:
dynamicTemplate:
predicate_entity_(Predicate,PrimarySortKey,SecondarySortKey,Entity)Mode and number of proofs:
predicate_entity_(?predicate_indicator,?nonvar,?nonvar,?entity_identifier) - zero_or_more