Painless
A framework to ease parallelization of sequential CDCL SAT solvers
Loading...
Searching...
No Matches
Thread Class Reference

Thread class. More...

#include <Threading.hpp>

Collaboration diagram for Thread:

Public Member Functions

 Thread (void *(*main)(void *), void *arg)
 Constructor.
 
void join ()
 Join the thread.
 
void setThreadAffinity (int coreId)
 

Protected Attributes

pthread_t myTid
 The id of the pthread.
 

Detailed Description

Thread class.


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