Set AllProfilerTypes

AllProfilerTypes

The predefined set AllProfilerTypes contains the names of all types of profiler data that can be stored in the predefined identifier ProfilerData.

Set AllProfilerTypes {
    Index      :  IndexprofilerTypes;
}

Definition

The set AllProfilerTypes currently contains the profiler types ‘hits’, ‘gross time’, and ‘net time‘.

See also

The function ProfilerStart and the predefined parameter ProfilerData.