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

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

addClient(std::shared_ptr< SharingEntity > client)SharingEntityinlinevirtual
clearClients()SharingEntityinline
exportClause(const ClauseExchangePtr &clause)SharingEntityinlineprotected
exportClauses(const std::vector< ClauseExchangePtr > &clauses)SharingEntityinlineprotected
exportClauseToClient(const ClauseExchangePtr &clause, std::shared_ptr< SharingEntity > client)SharingEntityinlineprotectedvirtual
getClientCount() constSharingEntityinline
getSharingId() constSharingEntityinline
importClause(const ClauseExchangePtr &clause)=0SharingEntitypure virtual
importClauses(const std::vector< ClauseExchangePtr > &v_clauses)=0SharingEntitypure virtual
m_clientsSharingEntityprotected
m_clientsMutexSharingEntitymutableprotected
removeClient(std::shared_ptr< SharingEntity > client)SharingEntityinlinevirtual
setSharingId(int _id)SharingEntityinline
SharingEntity()SharingEntityinline
SharingEntity(const std::vector< std::shared_ptr< SharingEntity > > &clients)SharingEntityinline
~SharingEntity()SharingEntityinlinevirtual