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

- e -

• emplace_back() : Stack
• empty() : Clause, Stack
• end() : Substitution
• end_time : StackProver
• equality_used() : TPTPParser
• erase_display() : cursor_symbols::Cursor
• erase_line() : cursor_symbols::Cursor
• examine_literal() : Lemmata, SimplePath
• extend() : Stack
• extend_with_action() : StackProver
• extension_backtrack_restricted : StackItem
• extension_current_index_entry : StackItem
• extension_i : StackItem
• extension_no_more_results : StackItem
• extensions_tried : StackProver
• extract_literal() : Clause