HordeSatSharing Member List

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

addClient(std::shared_ptr< SharingEntity > client)	SharingEntity	inlinevirtual
addProducer(std::shared_ptr< SharingEntity > producer) override	HordeSatSharing	inlineprotectedvirtual
clearClients()	SharingEntity	inline
connectConstructorProducers()	SharingStrategy	inline
connectProducer(std::shared_ptr< SharingEntity > producer)	SharingStrategy	inlinevirtual
doSharing() override	HordeSatSharing	virtual
exportClause(const ClauseExchangePtr &clause)	SharingEntity	inlineprotected
exportClauses(const std::vector< ClauseExchangePtr > &clauses)	SharingEntity	inlineprotected
exportClauseToClient(const ClauseExchangePtr &clause, std::shared_ptr< SharingEntity > client) override	SharingStrategy	inlineprotectedvirtual
getClientCount() const	SharingEntity	inline
getSharingId() const	SharingEntity	inline
getSleepingTime()	SharingStrategy	inlinevirtual
HordeSatSharing(const std::shared_ptr< ClauseDatabase > &clauseDB, unsigned long literalsPerProducerPerRound, unsigned int initialLbdLimit, unsigned int roundsBeforeLbdIncrease, const std::vector< std::shared_ptr< SharingEntity > > &producers={}, const std::vector< std::shared_ptr< SharingEntity > > &consumers={})	HordeSatSharing
importClause(const ClauseExchangePtr &clause) override	HordeSatSharing	virtual
importClauses(const std::vector< ClauseExchangePtr > &v_clauses) override	HordeSatSharing	inlinevirtual
initialLbdLimit	HordeSatSharing	protected
lbdLimitPerProducer	HordeSatSharing	protected
literalPerRound	HordeSatSharing	protected
literalsPerProducer	HordeSatSharing	protected
m_clauseDB	SharingStrategy	protected
m_clients	SharingEntity	protected
m_clientsMutex	SharingEntity	mutableprotected
m_producers	SharingStrategy	protected
m_producersMutex	SharingStrategy	mutableprotected
OVER_UTILIZATION_THRESHOLD (defined in HordeSatSharing)	HordeSatSharing	protectedstatic
printStats()	SharingStrategy	inlinevirtual
removeClient(std::shared_ptr< SharingEntity > client)	SharingEntity	inlinevirtual
removeProducer(std::shared_ptr< SharingEntity > producer) override	HordeSatSharing	inlineprotectedvirtual
round	HordeSatSharing	protected
roundBeforeIncrease	HordeSatSharing	protected
selection	HordeSatSharing	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
UNDER_UTILIZATION_THRESHOLD (defined in HordeSatSharing)	HordeSatSharing	protectedstatic
~HordeSatSharing()	HordeSatSharing
~SharingEntity()	SharingEntity	inlinevirtual
~SharingStrategy()	SharingStrategy	inlinevirtual