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

- c -

• Cadical() : Cadical
• cadicalOptions : Cadical
• canConsumerImportClause() : MallobSharing
• cbkMapleCOMSPSImportUnit : MapleCOMSPSSolver
• ClauseBuffer() : ClauseBuffer
• ClauseDatabase() : ClauseDatabase
• ClauseDatabaseBufferPerEntity() : ClauseDatabaseBufferPerEntity
• ClauseDatabaseMallob() : ClauseDatabaseMallob
• ClauseDatabasePerSize() : ClauseDatabasePerSize
• ClauseDatabaseSingleBuffer() : ClauseDatabaseSingleBuffer
• clausesToAdd : Cadical, GlucoseSyrup, Kissat, KissatINCSolver, KissatMABSolver, Lingeling, MapleCOMSPSSolver, MiniSat
• clausesToSendSerialized : AllGatherSharing, GenericGlobalSharing, MallobSharing
• cleanup() : painless::vector2D< T >
• clear() : Bitset, ClauseBuffer
• clearClients() : SharingEntity
• clearDatabase() : ClauseDatabase, ClauseDatabaseBufferPerEntity, ClauseDatabaseMallob, ClauseDatabasePerSize, ClauseDatabaseSingleBuffer
• clsBuffer : Lingeling
• clsBufferSize : Lingeling
• color : AllGatherSharing
• compensationFactor : MallobSharing
• computeBufferSize() : MallobSharing
• computeCompensation() : MallobSharing
• computeFamily() : Kissat
• conflicts : SolvingCdclStatistics
• connectConstructorProducers() : SharingStrategy
• connectProducer() : SharingStrategy
• consumeCls : Lingeling
• consumeUnits : Lingeling
• create() : ClauseExchange
• createSolver() : SolverFactory
• createSolvers() : SolverFactory
• currentIdSolver : SolverFactory