[ library(profile) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

profile(+Goal)

Execute Goal (once) and print profiling information