System.h File Reference

#include "IntTypes.h"
#include <sys/time.h>
#include <sys/resource.h>
#include <unistd.h>

Include dependency graph for System.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
	Minisat

Functions
static double	Minisat::cpuTime (void)
double	Minisat::memUsed ()
double	Minisat::memUsedPeak (bool strictlyPeak=false)
void	Minisat::setX86FPUPrecision ()
void	Minisat::limitMemory (uint64_t max_mem_mb)
void	Minisat::limitTime (uint32_t max_cpu_time)
void	Minisat::sigTerm (void handler(int))