[ 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
- profile_body(?, ?)
- No description available
- profile_body(?, ?, ?)
- No description available
About
- Author: Micha Meier and Stefano Novello, ECRC Munich
- Copyright © Imperial College London and ICL
- Date: $Date: 2000/05/05 14:57:53 $
Generated from profile.eci on Wed May 15 03:41:00 2002