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

This is the complete list of members for SimpleSharing, 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() overrideSimpleSharingvirtual
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) overrideSimpleSharingvirtual
importClauses(const std::vector< ClauseExchangePtr > &v_clauses) overrideSimpleSharinginlinevirtual
literalPerRoundSimpleSharingprotected
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
selectionSimpleSharingprotected
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
SimpleSharing(const std::shared_ptr< ClauseDatabase > &clauseDB, unsigned int sizeLimitAtImport, unsigned long literalsPerRoundPerProducer, const std::vector< std::shared_ptr< SharingEntity > > &producers={}, const std::vector< std::shared_ptr< SharingEntity > > &consumers={})SimpleSharing
sizeLimitSimpleSharingprotected
statsSharingStrategyprotected
~SharingEntity()SharingEntityinlinevirtual
~SharingStrategy()SharingStrategyinlinevirtual
~SimpleSharing()SimpleSharing