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

- e -

• emplace_clause() : Formula
• emplace_row() : painless::vector2D< T >
• empty() : ClauseBuffer
• end() : ClauseExchange, painless::vector2D< T >
• estimatedIncomingLits : MallobSharing
• estimatedSharedLits : MallobSharing
• exportClause() : SharingEntity
• exportClauses() : SharingEntity
• exportClauseToClient() : GlobalSharingStrategy, MallobSharing, SharingEntity, SharingStrategy