Logo Search packages:      
Sourcecode: matita version File versions  Download package

Public Attributes

ProcessData Struct Reference

List of all members.

Public Attributes

double AccumulatedCPUTime
int Active
double CPUTime
pid_t PID
pid_t PPID

Detailed Description

Definition at line 38 of file TreeLimitedRun.c.

The documentation for this struct was generated from the following file:

Generated by  Doxygen 1.6.0   Back to index