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

addClient(std::shared_ptr< SharingEntity > client)	SharingEntity	inlinevirtual
addProducer(std::shared_ptr< SharingEntity > producer)	SharingStrategy	inlinevirtual
clearClients()	SharingEntity	inline
connectConstructorProducers()	SharingStrategy	inline
connectProducer(std::shared_ptr< SharingEntity > producer)	SharingStrategy	inlinevirtual
doSharing() override	GlobalSharingStrategy	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()	GlobalSharingStrategy	virtual
joinProcess(int winnerRank, SatResult res, const std::vector< int > &model)	GlobalSharingStrategy	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
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
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
~GlobalSharingStrategy()	GlobalSharingStrategy	virtual
~SharingEntity()	SharingEntity	inlinevirtual
~SharingStrategy()	SharingStrategy	inlinevirtual