- t -
- tactic()
: tactic
- to_int()
: symbol
- to_smt2()
: solver
, Solver
- to_string()
: ast
, fixedpoint
, param_descrs
, Fixedpoint
- trail()
: solver
, Solver
- trail_levels()
: Solver
- transitive_closure()
: func_decl
- translate()
: AstRef
, AstVector
, FuncInterp
, Goal
, ModelRef
, Solver
- tuple_sort()
: context