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

- t -

• TableauProofNode() : TableauProofNode
• Term() : Term
• TermIndex() : TermIndex
• test_for_regularity() : SimplePath
• tick() : Interval
• to() : cursor_symbols::Cursor
• to_Literal() : FOF
• to_prolog_string() : Clause, Literal, Term, Variable
• to_string() : Clause, FOF, Function, Lemmata, Literal, Matrix, Predicate, SimplePath, Substitution, Term, Unifier, Variable
• to_string_unsubbed() : StackItem
• to_tptp_fof_string() : Clause
• to_tptp_string() : Clause, FOF, Literal, Predicate, Substitution, TPTPRecord, TPTPRecords
• to_tptp_string_all() : TPTPRecords
• TPTPParser() : TPTPParser
• TPTPRecord() : TPTPRecord
• true_false_added() : PredicateIndex