smtrat::Task Class Reference

#include <ThreadPool.h>

Collaboration diagram for smtrat::Task:

Public Member Functions
template<typename T >
	Task (T &&task, const Module *module, std::size_t _index)
void	run ()
const Module *	getModule () const
std::size_t	conditionalIndex () const
std::future< Answer >	getFuture ()
bool	operator< (const Task &rhs) const

Private Attributes
std::packaged_task< Answer()>	mTask
const Module *	mModule
std::size_t	mConditionalIndex

Detailed Description

Definition at line 26 of file ThreadPool.h.

Constructor & Destructor Documentation

Task()

template<typename T >

smtrat::Task::Task ( T &&  task, const Module *  module, std::size_t  _index  )

inline

Definition at line 33 of file ThreadPool.h.

Member Function Documentation

conditionalIndex()

std::size_t smtrat::Task::conditionalIndex ( ) const

inline

Definition at line 43 of file ThreadPool.h.

Here is the caller graph for this function:

getFuture()

std::future<Answer> smtrat::Task::getFuture ( )

inline

Definition at line 47 of file ThreadPool.h.

Here is the caller graph for this function:

getModule()

const Module* smtrat::Task::getModule ( ) const

inline

Definition at line 39 of file ThreadPool.h.

Here is the caller graph for this function:

operator<()

bool smtrat::Task::operator<

(

const Task &

rhs

)

const

Definition at line 13 of file ThreadPool.cpp.

Here is the call graph for this function:

run()

void smtrat::Task::run ( )

inline

Definition at line 35 of file ThreadPool.h.

Here is the caller graph for this function:

Field Documentation

mConditionalIndex

std::size_t smtrat::Task::mConditionalIndex

private

Definition at line 30 of file ThreadPool.h.

mModule

const Module* smtrat::Task::mModule

private

Definition at line 29 of file ThreadPool.h.

mTask

std::packaged_task<Answer()> smtrat::Task::mTask

private

Definition at line 28 of file ThreadPool.h.

---

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

• smtrat-solver/ThreadPool.h
• smtrat-solver/ThreadPool.cpp