[ 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
- Author: Micha Meier and Stefano Novello, ECRC Munich
- Copyright © Imperial College London and ICL
- Date: $Date: 2003/12/01 19:56:41 $
Generated from profile.eci on Sat Aug 7 01:44:24 2004