This is the complete list of members for SimpleSharing, 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 | SimpleSharing | 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 |
| importClause(const ClauseExchangePtr &clause) override | SimpleSharing | virtual |
| importClauses(const std::vector< ClauseExchangePtr > &v_clauses) override | SimpleSharing | inlinevirtual |
| literalPerRound | SimpleSharing | protected |
| m_clauseDB | SharingStrategy | protected |
| m_clients | SharingEntity | protected |
| m_clientsMutex | SharingEntity | mutableprotected |
| m_producers | SharingStrategy | protected |
| m_producersMutex | SharingStrategy | mutableprotected |
| printStats() | SharingStrategy | inlinevirtual |
| removeClient(std::shared_ptr< SharingEntity > client) | SharingEntity | inlinevirtual |
| removeProducer(std::shared_ptr< SharingEntity > producer) | SharingStrategy | inlinevirtual |
| selection | SimpleSharing | 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 |
| SimpleSharing(const std::shared_ptr< ClauseDatabase > &clauseDB, unsigned int sizeLimitAtImport, unsigned long literalsPerRoundPerProducer, const std::vector< std::shared_ptr< SharingEntity > > &producers={}, const std::vector< std::shared_ptr< SharingEntity > > &consumers={}) | SimpleSharing | |
| sizeLimit | SimpleSharing | protected |
| stats | SharingStrategy | protected |
| ~SharingEntity() | SharingEntity | inlinevirtual |
| ~SharingStrategy() | SharingStrategy | inlinevirtual |
| ~SimpleSharing() | SimpleSharing |
Generated by