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

- t -

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