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

- a -

• accumulatedAdmittedLiterals : MallobSharing
• accumulatedDesiredLiterals : MallobSharing
• addChildClauses : MallobSharing

- b -

• b_filter : AllGatherSharing
• b_filter_recv : GenericGlobalSharing
• b_filter_send : GenericGlobalSharing
• baseSize : MallobSharing
• buffers : MallobSharing

- c -

• cadicalOptions : Cadical
• clausesToAdd : Cadical, GlucoseSyrup, Kissat, KissatINCSolver, KissatMABSolver, Lingeling, MapleCOMSPSSolver, MiniSat
• clausesToSendSerialized : AllGatherSharing, GenericGlobalSharing, MallobSharing
• clsBuffer : Lingeling
• clsBufferSize : Lingeling
• color : AllGatherSharing
• compensationFactor : MallobSharing
• conflicts : SolvingCdclStatistics
• currentIdSolver : SolverFactory

- d -

• decisions : SolvingCdclStatistics
• defaultBufferSize : MallobSharing
• deserializedClauses : MallobSharing

- e -

• estimatedIncomingLits : MallobSharing
• estimatedSharedLits : MallobSharing

- f -

• father : MallobSharing
• filteredAtImport : SharingStatistics
• finalTrail : LocalSearchInterface
• from : ClauseExchange

- g -

• gstats : GlobalSharingStrategy

- i -

• initialLbdLimit : HordeSatSharing
• initLiteralCount : ClauseDatabasePerSize

- k -

• kissatMABOptions : KissatMABSolver
• kissatOptions : Kissat

- l -

• lastEpochAdmittedLits : MallobSharing
• lastEpochReceivedLits : MallobSharing
• lbd : ClauseExchange
• lbdLimitAtImport : MallobSharing
• lbdLimitPerProducer : HordeSatSharing
• left_child : MallobSharing
• literalPerRound : HordeSatSharing, SimpleSharing
• literalsPerProducer : HordeSatSharing
• lits : ClauseExchange
• lsStats : LocalSearchInterface
• lsType : LocalSearchInterface

- 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
• maxClauseSize : ClauseDatabasePerSize
• maxCompensationFactor : MallobSharing
• maxSize : MallobSharing
• memPeak : SolvingCdclStatistics
• messagesSent : GlobalSharingStatistics
• mtx : Mutex
• myBitVector : MallobSharing
• myTid : Thread

- n -

• nb_children : MallobSharing

- p -

• propagations : SolvingCdclStatistics

- r -

• receivedClauses : AllGatherSharing, GenericGlobalSharing, SharingStatistics
• receivedClausesFather : MallobSharing
• receivedClausesLeft : MallobSharing
• receivedClausesRight : MallobSharing
• receivedDuplicas : GlobalSharingStatistics
• receivedFinalResultRoot : GlobalSharingStrategy
• recv_end_requests : GlobalSharingStrategy
• refCounter : ClauseExchange
• requests_sent : GlobalSharingStrategy
• restarts : SolvingCdclStatistics
• right_child : MallobSharing
• round : HordeSatSharing, Sharer
• roundBeforeIncrease : HordeSatSharing

- s -

• s_instanceCounts : SolverInterface
• selectedGlobal : SharingStrategyFactory
• selectedLocal : SharingStrategyFactory
• selection : HordeSatSharing, SimpleSharing
• send_end_request : GlobalSharingStrategy
• sendRequests : GenericGlobalSharing
• sharedClauses : SharingStatistics
• sharedDuplicasAvoided : GlobalSharingStatistics
• sharer : Sharer
• sharingStrategies : Sharer
• size : ClauseExchange
• sizeLimit : MiniSat, SimpleSharing
• sizeLimitAtImport : MallobSharing
• sleepTime : MallobSharing
• solver : Cadical, GlucoseSyrup, Kissat, KissatINCSolver, KissatMABSolver, Lingeling, MapleCOMSPSSolver, MiniSat
• stats : SharingStrategy
• stopSolver : Cadical, Kissat, KissatINCSolver, KissatMABSolver, Lingeling, MapleCOMSPSSolver
• subscribers : GenericGlobalSharing
• subscriptions : GenericGlobalSharing

- t -

• totalSharingTime : Sharer
• totalSize : AllGatherSharing, GenericGlobalSharing

- u -

• unitsBuffer : Lingeling
• unitsBufferSize : Lingeling
• unitsToImport : GlucoseSyrup, Lingeling, MapleCOMSPSSolver, MiniSat