cudd  3.0.0
The University of Colorado Decision Diagram Package
Functions
cpu_time.c File Reference

System time calls. More...

#include "util.h"
#include <sys/times.h>
Include dependency graph for cpu_time.c:

Functions

long util_cpu_time (void)
 returns a long which represents the elapsed processor time in milliseconds since some constant reference.
 
long util_cpu_ctime (void)
 returns a long which represents the elapsed processor time in milliseconds since some constant reference. It includes waited-for terminated children.
 

Detailed Description

System time calls.

Provide a uniform interface across different operating systems.