object
ports_profiler
¶
Predicate execution box model port profiler.
Author: Paulo Moura
Version: 1:3:0
Date: 2019-02-13
Compilation flags:
static, context_switching_calls
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates¶
data/0
¶
Prints a table with all port profiling data.
Compilation flags:
static
Mode and number of proofs:
data
- one
data/1
¶
Prints a table with all port profiling data for the specified entity.
Compilation flags:
static
Template:
data(Entity)
Mode and number of proofs:
data(+entity_identifier)
- one
reset/0
¶
Resets all port profiling data.
Compilation flags:
static
Mode and number of proofs:
reset
- one
Protected predicates¶
(no local declarations; see entity ancestors if any)