auxlry.c File Reference

#include "xsb_config.h"
#include <stdio.h>
#include "xsb_time.h"
#include <sys/resource.h>

Functions
double	cpu_time (void)
void	get_date (int *year, int *month, int *day, int *hour, int *minute, int *second)
double	real_time (void)
void	gdb_dummy (void)

---

Function Documentation

double cpu_time (  void   )

void gdb_dummy (  void   )

void get_date (  int *  year, int *  month, int *  day, int *  hour, int *  minute, int *  second )

double real_time (  void   )

---