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

- e -

• empty() : Clause
• end() : Substitution
• end_time : StackProver
• equality_used() : TPTPParser
• erase_display() : cursor_symbols::Cursor
• erase_line() : cursor_symbols::Cursor
• examine_literal() : SimplePath
• extend_with_action() : StackProver
• extension_backtrack_restricted : StackItem
• extension_current_index_entry : StackItem
• extension_i : StackItem
• extension_ind : StackItem
• extension_index_entry_size : StackItem
• extension_initialize() : StackItem
• extension_is_empty() : StackItem
• extension_lit : StackItem
• extension_move_to_next_result() : StackItem
• extension_neg_lit : StackItem
• extension_next_result : StackItem
• extension_no_more_results : StackItem
• extension_restrict_backtrack() : StackItem
• extensions_tried : StackProver
• extract_literal() : Clause