ResourceLimitation.h File Reference

#include "ExitCodes.h"
#include "ResourceLimitation.h"
#include <carl-common/meta/platform.h>
#include <carl-common/memory/Singleton.h>
#include <csignal>
#include <sys/time.h>
#include <sys/times.h>
#include <sys/resource.h>

Include dependency graph for ResourceLimitation.h:

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

Go to the source code of this file.

Data Structures
class	smtrat::resource::Limiter

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::resource

Functions
void	smtrat::resource::setCPULimit (std::size_t)
std::size_t	smtrat::resource::getCPULimit ()
std::size_t	smtrat::resource::usedCPU ()
void	smtrat::resource::setMemoryLimit (std::size_t)
std::size_t	smtrat::resource::getMemoryLimit ()
void	smtrat::resource::installSignalHandler ()
void	smtrat::resource::signalHandler (int signal)