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

- e -

• emplace_back() : Stack
• empty() : Clause, Stack
• end() : Substitution
• equality_used() : TPTPParser
• erase_display() : cursor_symbols::Cursor
• erase_line() : cursor_symbols::Cursor
• examine_literal() : Lemmata, SimplePath
• extend() : Stack
• extend_with_action() : StackProver
• extract_literal() : Clause