[ 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 2009-02-24 09:43