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

- r -

• receivedClauses : AllGatherSharing, GenericGlobalSharing, SharingStatistics
• receivedClausesFather : MallobSharing
• receivedClausesLeft : MallobSharing
• receivedClausesRight : MallobSharing
• receivedDuplicas : GlobalSharingStatistics
• receivedFinalResultRoot : GlobalSharingStrategy
• recv_end_requests : GlobalSharingStrategy
• refCounter : ClauseExchange
• releaseMemory() : preprocess, PreprocessorInterface, StructuredBVA
• removeClient() : SharingEntity
• removeProducer() : HordeSatSharing, SharingStrategy
• requests_sent : GlobalSharingStrategy
• resize() : Bitset
• restarts : SolvingCdclStatistics
• restoreModel() : preprocess, PreprocessorInterface, StructuredBVA
• right_child : MallobSharing
• round : HordeSatSharing, Sharer
• roundBeforeIncrease : HordeSatSharing