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

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

addClient(std::shared_ptr< SharingEntity > client)SharingEntityinlinevirtual
addProducer(std::shared_ptr< SharingEntity > producer)SharingStrategyinlinevirtual
clearClients()SharingEntityinline
connectConstructorProducers()SharingStrategyinline
connectProducer(std::shared_ptr< SharingEntity > producer)SharingStrategyinlinevirtual
doSharing()=0SharingStrategypure virtual
exportClause(const ClauseExchangePtr &clause)SharingEntityinlineprotected
exportClauses(const std::vector< ClauseExchangePtr > &clauses)SharingEntityinlineprotected
exportClauseToClient(const ClauseExchangePtr &clause, std::shared_ptr< SharingEntity > client) overrideSharingStrategyinlineprotectedvirtual
getClientCount() constSharingEntityinline
getSharingId() constSharingEntityinline
getSleepingTime()SharingStrategyinlinevirtual
importClause(const ClauseExchangePtr &clause)=0SharingEntitypure virtual
importClauses(const std::vector< ClauseExchangePtr > &v_clauses)=0SharingEntitypure virtual
m_clauseDBSharingStrategyprotected
m_clientsSharingEntityprotected
m_clientsMutexSharingEntitymutableprotected
m_producersSharingStrategyprotected
m_producersMutexSharingStrategymutableprotected
printStats()SharingStrategyinlinevirtual
removeClient(std::shared_ptr< SharingEntity > client)SharingEntityinlinevirtual
removeProducer(std::shared_ptr< SharingEntity > producer)SharingStrategyinlinevirtual
setSharingId(int _id)SharingEntityinline
SharingEntity()SharingEntityinline
SharingEntity(const std::vector< std::shared_ptr< SharingEntity > > &clients)SharingEntityinline
SharingStrategy(const std::vector< std::shared_ptr< SharingEntity > > &producers, const std::vector< std::shared_ptr< SharingEntity > > &consumers, const std::shared_ptr< ClauseDatabase > &clauseDB)SharingStrategyinline
statsSharingStrategyprotected
~SharingEntity()SharingEntityinlinevirtual
~SharingStrategy()SharingStrategyinlinevirtual