SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Private Attributes
smtrat::resource::Limiter Class Reference

#include <ResourceLimitation.h>

Inheritance diagram for smtrat::resource::Limiter:
Inheritance graph
[legend]
Collaboration diagram for smtrat::resource::Limiter:
Collaboration graph
[legend]

Public Member Functions

void initialize ()
 
void reset ()
 
void setMemout (std::size_t megabytes)
 
void setTimeout (std::size_t seconds)
 
void resetTimeout () const
 
void setTimeoutHandler (std::function< void()> f)
 
std::function< void()> timeoutHandler () const
 

Private Attributes

std::size_t mMemout
 
std::size_t mTimeout
 
std::size_t mOriginalMemout
 
std::size_t mOriginalTimeout
 
std::function< void()> mTimeoutHandler
 

Detailed Description

Definition at line 59 of file ResourceLimitation.h.

Member Function Documentation

◆ initialize()

void smtrat::resource::Limiter::initialize ( )
inline

Definition at line 67 of file ResourceLimitation.h.

Here is the call graph for this function:

◆ reset()

void smtrat::resource::Limiter::reset ( )
inline

Definition at line 74 of file ResourceLimitation.h.

Here is the call graph for this function:

◆ resetTimeout()

void smtrat::resource::Limiter::resetTimeout ( ) const
inline

Definition at line 92 of file ResourceLimitation.h.

Here is the call graph for this function:

◆ setMemout()

void smtrat::resource::Limiter::setMemout ( std::size_t  megabytes)
inline

Definition at line 84 of file ResourceLimitation.h.

Here is the call graph for this function:

◆ setTimeout()

void smtrat::resource::Limiter::setTimeout ( std::size_t  seconds)
inline

Definition at line 88 of file ResourceLimitation.h.

Here is the call graph for this function:

◆ setTimeoutHandler()

void smtrat::resource::Limiter::setTimeoutHandler ( std::function< void()>  f)
inline

Definition at line 97 of file ResourceLimitation.h.

◆ timeoutHandler()

std::function<void()> smtrat::resource::Limiter::timeoutHandler ( ) const
inline

Definition at line 100 of file ResourceLimitation.h.

Field Documentation

◆ mMemout

std::size_t smtrat::resource::Limiter::mMemout
private

Definition at line 61 of file ResourceLimitation.h.

◆ mOriginalMemout

std::size_t smtrat::resource::Limiter::mOriginalMemout
private

Definition at line 63 of file ResourceLimitation.h.

◆ mOriginalTimeout

std::size_t smtrat::resource::Limiter::mOriginalTimeout
private

Definition at line 64 of file ResourceLimitation.h.

◆ mTimeout

std::size_t smtrat::resource::Limiter::mTimeout
private

Definition at line 62 of file ResourceLimitation.h.

◆ mTimeoutHandler

std::function<void()> smtrat::resource::Limiter::mTimeoutHandler
private

Definition at line 65 of file ResourceLimitation.h.

The documentation for this class was generated from the following file: