smtrat::resource Namespace Reference

Data Structures
class	Limiter

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

Function Documentation

getCPULimit()

std::size_t smtrat::resource::getCPULimit ( )

inline

Definition at line 52 of file ResourceLimitation.h.

Here is the caller graph for this function:

getMemoryLimit()

std::size_t smtrat::resource::getMemoryLimit ( )

inline

Definition at line 55 of file ResourceLimitation.h.

Here is the caller graph for this function:

installSignalHandler()

void smtrat::resource::installSignalHandler ( )

inline

Definition at line 56 of file ResourceLimitation.h.

Here is the caller graph for this function:

setCPULimit()

void smtrat::resource::setCPULimit ( std::size_t  )

inline

Definition at line 51 of file ResourceLimitation.h.

Here is the caller graph for this function:

setMemoryLimit()

void smtrat::resource::setMemoryLimit ( std::size_t  )

inline

Definition at line 54 of file ResourceLimitation.h.

Here is the caller graph for this function:

signalHandler()

void smtrat::resource::signalHandler ( int  signal )

inline

Definition at line 105 of file ResourceLimitation.h.

usedCPU()

std::size_t smtrat::resource::usedCPU ( )

inline

Definition at line 53 of file ResourceLimitation.h.

Here is the caller graph for this function: