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 |