Here is a list of all documented class members with links to the class documentation for each member:

- m -

• m_algoType : SolverInterface
• m_cdclType : SolverCdclInterface
• m_clauseDB : SharingStrategy
• m_clauses : ClauseDatabaseMallob
• m_clausesToImport : SolverCdclInterface
• m_clients : SharingEntity
• m_clientsMutex : SharingEntity
• m_currentLiteralSize : ClauseDatabaseMallob
• m_currentWorstIndex : ClauseDatabaseMallob
• m_freeMaxSize : ClauseDatabaseMallob
• m_freeSize : MallobSharing
• m_initialized : SolverInterface
• m_maxClauseSize : ClauseDatabaseMallob
• m_maxPartitioningLbd : ClauseDatabaseMallob
• m_producers : SharingStrategy
• m_producersMutex : SharingStrategy
• m_sharerId : Sharer
• m_shrinkMutex : ClauseDatabaseMallob
• m_solverId : SolverInterface
• m_solverTypeId : SolverInterface
• m_totalLiteralCapacity : ClauseDatabaseMallob
• mainThrSharing : Sharer
• MallobSharing() : MallobSharing
• MapleCOMSPSSolver() : MapleCOMSPSSolver
• markClauseAsShared() : MallobSharing
• maxClauseSize : ClauseDatabasePerSize
• maxCompensationFactor : MallobSharing
• maxSize : MallobSharing
• memPeak : SolvingCdclStatistics
• merge() : Bitset
• merge_and() : Bitset
• merge_or() : Bitset
• mergeSerializedBuffersWithMine() : MallobSharing
• messagesSent : GlobalSharingStatistics
• MiniSat() : MiniSat
• minisatExportClause : MiniSat
• mtx : Mutex
• Mutex() : Mutex
• myBitVector : MallobSharing
• myTid : Thread