+
Point of view
ANY
class BENCHMARK
Summary
Overview
creation features
exported features
make (n: STRING)
effective procedure
start
effective procedure
next
effective procedure
stop
effective procedure
break
effective procedure
useful for loop termination
name: STRING
writable attribute
in_progress: BOOLEAN
writable attribute
counter: INTEGER_32
writable attribute
min_time: REAL_64
writable attribute
in seconds
max_time: REAL_64
writable attribute
in seconds
total_time: REAL_64
writable attribute
in seconds
mean_time: REAL_64
effective function
in seconds
set_custom_print (cp: PROCEDURE[TUPLE 1[BENCHMARK]])
effective procedure
print_now
effective procedure
smart_print
effective procedure