GenericGlobalSharing Member List

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

addClient(std::shared_ptr< SharingEntity > client)	SharingEntity	inlinevirtual
addProducer(std::shared_ptr< SharingEntity > producer)	SharingStrategy	inlinevirtual
b_filter_recv	GenericGlobalSharing	protected
b_filter_send	GenericGlobalSharing	protected
clausesToSendSerialized	GenericGlobalSharing	protected
clearClients()	SharingEntity	inline
connectConstructorProducers()	SharingStrategy	inline
connectProducer(std::shared_ptr< SharingEntity > producer)	SharingStrategy	inlinevirtual
deserializeClauses(std::vector< int > &serialized_v_cls)	GenericGlobalSharing	protected
doSharing() override	GenericGlobalSharing	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
GenericGlobalSharing(const std::shared_ptr< ClauseDatabase > &clauseDB, const std::vector< int > &subscriptions, const std::vector< int > &subscribers, unsigned long bufferSize)	GenericGlobalSharing
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	GenericGlobalSharing	virtual
joinProcess(int winnerRank, SatResult res, const std::vector< int > &model) override	GenericGlobalSharing	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	GenericGlobalSharing	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
sendRequests	GenericGlobalSharing	protected
serializeClauses(std::vector< int > &serialized_v_cls)	GenericGlobalSharing	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
subscribers	GenericGlobalSharing	protected
subscriptions	GenericGlobalSharing	protected
totalSize	GenericGlobalSharing	protected
~GenericGlobalSharing()	GenericGlobalSharing
~GlobalSharingStrategy()	GlobalSharingStrategy	virtual
~SharingEntity()	SharingEntity	inlinevirtual
~SharingStrategy()	SharingStrategy	inlinevirtual