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

#include <ThreadPool.h>

Collaboration diagram for smtrat::BackendSynchronisation:
Collaboration graph
[legend]

Public Member Functions

 BackendSynchronisation ()
 
void wait ()
 
void notify ()
 

Private Attributes

std::condition_variable mConditionVariable
 
std::mutex mMutex
 
bool mFireFlag
 

Detailed Description

Definition at line 54 of file ThreadPool.h.

Constructor & Destructor Documentation

◆ BackendSynchronisation()

smtrat::BackendSynchronisation::BackendSynchronisation ( )
inline

Definition at line 60 of file ThreadPool.h.

Member Function Documentation

◆ notify()

void smtrat::BackendSynchronisation::notify ( )
inline

Definition at line 65 of file ThreadPool.h.

◆ wait()

void smtrat::BackendSynchronisation::wait ( )
inline

Definition at line 61 of file ThreadPool.h.

Here is the caller graph for this function:

Field Documentation

◆ mConditionVariable

std::condition_variable smtrat::BackendSynchronisation::mConditionVariable
private

Definition at line 56 of file ThreadPool.h.

◆ mFireFlag

bool smtrat::BackendSynchronisation::mFireFlag
private

Definition at line 58 of file ThreadPool.h.

◆ mMutex

std::mutex smtrat::BackendSynchronisation::mMutex
private

Definition at line 57 of file ThreadPool.h.

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