Painless
A framework to ease parallelization of sequential CDCL SAT solvers
Loading...
Searching...
No Matches
Sharer Member List

This is the complete list of members for Sharer, including all inherited members.

getId()Sharerinline
join()Sharerinline
m_sharerIdSharerprotected
mainThrSharing(void *arg)Sharerfriend
printStats()Sharervirtual
roundSharerprotected
setId(int id)Sharerinline
setThreadAffinity(int coreId)Sharerinline
Sharer(int id_, std::vector< std::shared_ptr< SharingStrategy > > &sharingStrategies)Sharer
Sharer(int id_, std::shared_ptr< SharingStrategy > sharingStrategy)Sharer
sharerSharerprotected
sharingStrategiesSharerprotected
totalSharingTimeSharerprotected
~Sharer()Sharervirtual