object
ports_profiler¶
Predicate execution box model port profiler.
Author: Paulo Moura
Version: 1:4:0
Date: 2020-05-25
Compilation flags:
static, context_switching_callsRemarks:
(none)
Inherited public predicates:
(none)
Public predicates¶
data/0¶
Prints a table with all port profiling data.
Compilation flags:
staticMode and number of proofs:
data - onedata/1¶
Prints a table with all port profiling data for the specified entity.
Compilation flags:
staticTemplate:
data(Entity)Mode and number of proofs:
data(+entity_identifier) - onereset/0¶
Resets all port profiling data.
Compilation flags:
staticMode and number of proofs:
reset - oneProtected predicates¶
(no local declarations; see entity ancestors if any)