Index - T
| table | Ersatz.Relation |
| terminating | Ersatz.Relation |
| total | Ersatz.Relation |
| transitive | Ersatz.Relation |
| transitive_closure | Ersatz.Relation |
| transitive_reflexive_closure | Ersatz.Relation |
| treengeling | Ersatz.Solver.Lingeling, Ersatz.Solver, Ersatz |
| treengelingPath | Ersatz.Solver.Lingeling, Ersatz.Solver, Ersatz |
| true | Ersatz.Bit, Ersatz |