Index - T
| Table | |
| 1 (Type/Class) | Text.Tabular |
| 2 (Data Constructor) | Text.Tabular |
| TAnd | Funsat.Circuit |
| TFalse | Funsat.Circuit |
| thawAss | Funsat.Types |
| TIff | Funsat.Circuit |
| TIte | Funsat.Circuit |
| TLeaf | Funsat.Circuit |
| TNot | Funsat.Circuit |
| toCNF | Funsat.Circuit |
| TOnlyIf | Funsat.Circuit |
| TOr | Funsat.Circuit |
| traceAntecedents | Funsat.Resolution |
| traceFinalAssignment | Funsat.Resolution |
| traceFinalClauseId | Funsat.Resolution |
| traceOriginalClauses | Funsat.Resolution |
| traceSources | Funsat.Resolution |
| Tree | Funsat.Circuit |
| true | Funsat.Circuit |
| trueHash | Funsat.Circuit |
| TTrue | Funsat.Circuit |
| TXor | Funsat.Circuit |