[
library(profile)
|
The ECLiPSe Libraries
|
Reference Manual
|
Alphabetic Index
]
profile(+Goal)
Execute Goal (once) and print profiling information