Here is a list of all documented namespace functions with links to the namespaces they belong to:

• deserializeClauses() : mpiutils
• getAbsoluteTimeSeconds() : SystemResourceMonitor
• getAvailableMemoryKB() : SystemResourceMonitor
• getFreeMemoryKB() : SystemResourceMonitor
• getLiteralsCount() : ClauseUtils
• getMemoryLimitKB() : SystemResourceMonitor
• getRelativeTimeSeconds() : SystemResourceMonitor
• getTotalMemoryKB() : SystemResourceMonitor
• getUsedMemoryKB() : SystemResourceMonitor
• hashClause() : ClauseUtils
• isMemoryLimitExceeded() : SystemResourceMonitor
• lookup3_hash() : ClauseUtils
• lookup3_hash_clause() : ClauseUtils
• operator==() : ClauseUtils
• parseCNF() : Parsers
• parseCNFParameters() : Parsers
• parseMemInfo() : SystemResourceMonitor
• printProcessResourceUsage() : SystemResourceMonitor
• sendFormula() : mpiutils
• sendModelToRoot() : mpiutils
• serializeClauses() : mpiutils
• setMemoryLimitKB() : SystemResourceMonitor