- t -

• testExpression() : smtrat
• to_formula() : smtrat::cadcells::helper , smtrat::mcsat::vs::helper , smtrat::qe::coverings::util
• to_formula_alternate() : smtrat::qe::coverings::util
• to_formula_db() : smtrat::covering_ng::formula::formula_ds
• to_formula_true_only() : smtrat::qe::coverings::util
• toInt() : Minisat
• toLbool() : Minisat
• toLit() : Minisat
• toStdMap() : smtrat::onecellcad::recursive
• transform_to_equation() : smtrat::subtropical
• triangular_ordering() : smtrat::cad::variable_ordering
• type() : smtrat::qe