YAP 7.1.0
•All Classes Files Functions Variables Typedefs Enumerations Enumerator Macros Modules Pages
time/1

time(:Goal) % % Time the execution of Goal More...

Detailed Description

time(:Goal) % % Time the execution of Goal

Possible choice-points of Goal are removed % Based on the SWI-Prolog definition minus reporting the number of inferences, % which YAP does not currently supports

time(: Goal)

Prints the CPU time and the wall time for the execution of Goal Possible choice-points of Goal are removed Based on the SWI-Prolog definition (minus reporting the number of inferences, which YAP currently does not support)

The documentation for this class was generated from the following file: