source: icGREP/icgrep-devel/cudd-2.5.1/util/ptime.c @ 5820

Last change on this file since 5820 was 4597, checked in by nmedfort, 4 years ago

Upload of the CUDD library.

File size: 113 bytes
Line 
1/* LINTLIBRARY */
2#include "util.h"
3
4/* backwards compatibility */
5long 
6ptime()
7{
8    return util_cpu_time();
9}
Note: See TracBrowser for help on using the repository browser.