[ The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

library(profile)

Profiling package for ECLiPSe programs

Predicates

profile(+Goal)
Execute Goal (once) and print profiling information
profile(+Goal, +Options)
Execute Goal (once) and print profiling information

About


Generated from profile.eci on Mon Mar 31 03:14:47 2008