MallobSharing Member List

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

accumulatedAdmittedLiterals	MallobSharing	protected
accumulatedDesiredLiterals	MallobSharing	protected
addChildClauses	MallobSharing	protected
addClient(std::shared_ptr< SharingEntity > client)	SharingEntity	inlinevirtual
addProducer(std::shared_ptr< SharingEntity > producer)	SharingStrategy	inlinevirtual
baseSize	MallobSharing	protected
buffers	MallobSharing	protected
canConsumerImportClause(const ClauseExchangePtr &cls, unsigned consumerId)	MallobSharing
clausesToSendSerialized	MallobSharing	protected
clearClients()	SharingEntity	inline
compensationFactor	MallobSharing	protected
computeBufferSize(unsigned int aggregationsCount)	MallobSharing	protected
computeCompensation()	MallobSharing	protected
connectConstructorProducers()	SharingStrategy	inline
connectProducer(std::shared_ptr< SharingEntity > producer)	SharingStrategy	inlinevirtual
defaultBufferSize	MallobSharing	protected
deserializeClauses(const std::vector< int > &serialized_v_cls)	MallobSharing	protected
deserializedClauses	MallobSharing	protected
doesClauseExist(const ClauseExchangePtr &cls) const	MallobSharing
doSharing() override	MallobSharing	virtual
estimatedIncomingLits	MallobSharing	protected
estimatedSharedLits	MallobSharing	protected
exportClause(const ClauseExchangePtr &clause)	SharingEntity	inlineprotected
exportClauses(const std::vector< ClauseExchangePtr > &clauses)	SharingEntity	inlineprotected
exportClauseToClient(const ClauseExchangePtr &clause, std::shared_ptr< SharingEntity > client) override	MallobSharing	protectedvirtual
father	MallobSharing	protected
getClientCount() const	SharingEntity	inline
getOneClauseWrapper(ClauseExchangePtr &cls)	MallobSharing	inlineprotected
getSharingId() const	SharingEntity	inline
getSleepingTime() override	MallobSharing	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	MallobSharing	virtual
importClauses(const std::vector< ClauseExchangePtr > &v_cls) override	GlobalSharingStrategy	inlinevirtual
incrementEpoch()	MallobSharing
initializeFilter(unsigned int resharingPeriod, unsigned int sharingsPerSecond, unsigned int maxProducerId=63)	MallobSharing
initMpiVariables() override	MallobSharing	virtual
insertClause(const ClauseExchangePtr &cls)	MallobSharing
isClauseShared(const ClauseExchangePtr &cls) const	MallobSharing
joinProcess(int winnerRank, SatResult res, const std::vector< int > &model) override	MallobSharing	virtual
lastEpochAdmittedLits	MallobSharing	protected
lastEpochReceivedLits	MallobSharing	protected
lbdLimitAtImport	MallobSharing	protected
left_child	MallobSharing	protected
m_clauseDB	SharingStrategy	protected
m_clients	SharingEntity	protected
m_clientsMutex	SharingEntity	mutableprotected
m_freeSize	MallobSharing	protected
m_producers	SharingStrategy	protected
m_producersMutex	SharingStrategy	mutableprotected
MallobSharing(const std::shared_ptr< ClauseDatabase > &clauseDB, unsigned long baseBufferSize, unsigned long maxBufferSize, unsigned int lbdLimitAtImport, unsigned int sizeLimitAtImport, unsigned int roundsPerSecond, float maxCompensation, unsigned int resharePeriodMicroSec)	MallobSharing
markClauseAsShared(ClauseExchangePtr &cls)	MallobSharing
maxCompensationFactor	MallobSharing	protected
maxSize	MallobSharing	protected
mergeSerializedBuffersWithMine(std::vector< std::reference_wrapper< std::vector< int > > > &buffers, std::vector< int > &result, size_t &nonFreeLiteralsCount)	MallobSharing	protected
myBitVector	MallobSharing	protected
nb_children	MallobSharing	protected
printStats() override	GlobalSharingStrategy	virtual
receivedClausesFather	MallobSharing	protected
receivedClausesLeft	MallobSharing	protected
receivedClausesRight	MallobSharing	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
right_child	MallobSharing	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
shrinkFilter()	MallobSharing
sizeLimitAtImport	MallobSharing	protected
sleepTime	MallobSharing	protected
stats	SharingStrategy	protected
updateClause(const ClauseExchangePtr &cls)	MallobSharing
~GlobalSharingStrategy()	GlobalSharingStrategy	virtual
~MallobSharing()	MallobSharing
~SharingEntity()	SharingEntity	inlinevirtual
~SharingStrategy()	SharingStrategy	inlinevirtual