Module prof

Builtin predicates for measuring execution times

Contents

Predicate

Top of this page Contents Index of this package LiLFeS Documents LiLFeS Home Page Tsujii laboratory

Predicate

start_prof/1

Formatstart_prof(+NAME)
Arguments
+NAMEstring profile part name
make new profiling part and start profiling.see profile.

stop_prof/1

Formatstop_prof(+NAME)
Arguments
+NAMEstring profile part name
Stop profiling.

stop_prof/2

Formatstop_prof(+NAME,-TIME)
Arguments
+NAMEstring profile part name
-TIMEinteger result time
Get result of profiling.

total_prof/2

Formattotal_prof(+NAME,-TIME)
Arguments
+NAMEstring profile part name
-TIMEinteger result time
Get total time of profiling.

total_prof/3

Formattotal_prof(+NAME,-TIME,-COUNT)
Arguments
+NAMEstring profile part name
-TIMEinteger total time
-COUNTinteger total count
Get total time and count of profiling.
Top of this page Contents Index of this package LiLFeS Documents LiLFeS Home Page Tsujii laboratory
This document is automatically created by lildoc on Fri Sep 24 14:13:58 2004