AllGatherSharing Member List

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

addClient(std::shared_ptr< SharingEntity > client)	SharingEntity	inlinevirtual
addProducer(std::shared_ptr< SharingEntity > producer)	SharingStrategy	inlinevirtual
AllGatherSharing(const std::shared_ptr< ClauseDatabase > &clauseDB, unsigned long bufferSize)	AllGatherSharing
b_filter	AllGatherSharing	protected
clausesToSendSerialized	AllGatherSharing	protected
clearClients()	SharingEntity	inline
color	AllGatherSharing	protected
connectConstructorProducers()	SharingStrategy	inline
connectProducer(std::shared_ptr< SharingEntity > producer)	SharingStrategy	inlinevirtual
deserializeClauses(const std::vector< int > &serialized_v_cls, int num_buffers)	AllGatherSharing	protected
doSharing() override	AllGatherSharing	virtual
exportClause(const ClauseExchangePtr &clause)	SharingEntity	inlineprotected
exportClauses(const std::vector< ClauseExchangePtr > &clauses)	SharingEntity	inlineprotected
exportClauseToClient(const ClauseExchangePtr &clause, std::shared_ptr< SharingEntity > client)	GlobalSharingStrategy	inlinevirtual
getClientCount() const	SharingEntity	inline
getSharingId() const	SharingEntity	inline
getSleepingTime() override	GlobalSharingStrategy	virtual
GlobalSharingStrategy(const std::shared_ptr< ClauseDatabase > &clauseDB, const std::vector< std::shared_ptr< SharingEntity > > &producers={}, const std::vector< std::shared_ptr< SharingEntity > > &consumers={})	GlobalSharingStrategy
gstats	GlobalSharingStrategy	protected
importClause(const ClauseExchangePtr &cls) override	GlobalSharingStrategy	inlinevirtual
importClauses(const std::vector< ClauseExchangePtr > &v_cls) override	GlobalSharingStrategy	inlinevirtual
initMpiVariables() override	AllGatherSharing	virtual
joinProcess(int winnerRank, SatResult res, const std::vector< int > &model) override	AllGatherSharing	virtual
m_clauseDB	SharingStrategy	protected
m_clients	SharingEntity	protected
m_clientsMutex	SharingEntity	mutableprotected
m_producers	SharingStrategy	protected
m_producersMutex	SharingStrategy	mutableprotected
printStats() override	GlobalSharingStrategy	virtual
receivedClauses	AllGatherSharing	protected
receivedFinalResultRoot	GlobalSharingStrategy	protected
recv_end_requests	GlobalSharingStrategy	protected
removeClient(std::shared_ptr< SharingEntity > client)	SharingEntity	inlinevirtual
removeProducer(std::shared_ptr< SharingEntity > producer)	SharingStrategy	inlinevirtual
requests_sent	GlobalSharingStrategy	protected
send_end_request	GlobalSharingStrategy	protected
serializeClauses(std::vector< int > &serialized_v_cls)	AllGatherSharing	protected
setSharingId(int _id)	SharingEntity	inline
SharingEntity()	SharingEntity	inline
SharingEntity(const std::vector< std::shared_ptr< SharingEntity > > &clients)	SharingEntity	inline
SharingStrategy(const std::vector< std::shared_ptr< SharingEntity > > &producers, const std::vector< std::shared_ptr< SharingEntity > > &consumers, const std::shared_ptr< ClauseDatabase > &clauseDB)	SharingStrategy	inline
stats	SharingStrategy	protected
totalSize	AllGatherSharing	protected
~AllGatherSharing()	AllGatherSharing
~GlobalSharingStrategy()	GlobalSharingStrategy	virtual
~SharingEntity()	SharingEntity	inlinevirtual
~SharingStrategy()	SharingStrategy	inlinevirtual