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

- e -

• empty() : Clause
• end() : Substitution
• equality_used() : TPTPParser
• erase_display() : cursor_symbols::Cursor
• erase_line() : cursor_symbols::Cursor
• examine_literal() : SimplePath
• extend_with_action() : StackProver
• extension_initialize() : StackItem
• extension_is_empty() : StackItem
• extension_move_to_next_result() : StackItem
• extension_restrict_backtrack() : StackItem
• extract_literal() : Clause