| T | |
| 1 (Data Constructor) | ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| 2 (Data Constructor) | ToySolver.EUF.FiniteModelFinder |
| Tableau | ToySolver.Arith.Simplex.Textbook |
| tableau | ToySolver.Arith.Simplex.Textbook.LPSolver |
| TApp | ToySolver.EUF.CongruenceClosure, ToySolver.EUF.EUFSolver |
| Target | ToySolver.Converter.Base, ToySolver.Converter.PB, ToySolver.Converter.PB, ToySolver.Converter, ToySolver.Converter |
| TargetObjValue | ToySolver.Converter.Base, ToySolver.Converter.PB, ToySolver.Converter.PB, ToySolver.Converter, ToySolver.Converter |
| tdeg | ToySolver.Data.Polynomial |
| tderiv | ToySolver.Data.Polynomial |
| tdiv | ToySolver.Data.Polynomial |
| tdivides | ToySolver.Data.Polynomial |
| Term | |
| 1 (Type/Class) | ToySolver.Data.Polynomial |
| 2 (Type/Class) | ToySolver.EUF.CongruenceClosure, ToySolver.EUF.EUFSolver |
| 3 (Type/Class) | ToySolver.EUF.FiniteModelFinder |
| terms | |
| 1 (Function) | ToySolver.Data.LA |
| 2 (Function) | ToySolver.Data.Polynomial |
| termToFlatTerm | |
| 1 (Function) | ToySolver.EUF.CongruenceClosure |
| 2 (Function) | ToySolver.EUF.EUFSolver |
| termToFSym | |
| 1 (Function) | ToySolver.EUF.CongruenceClosure |
| 2 (Function) | ToySolver.EUF.EUFSolver |
| thAssertLit | ToySolver.SAT.TheorySolver |
| thCheck | ToySolver.SAT.TheorySolver |
| thConstructModel | ToySolver.SAT.TheorySolver |
| TheorySolver | |
| 1 (Type/Class) | ToySolver.SAT.TheorySolver |
| 2 (Data Constructor) | ToySolver.SAT.TheorySolver |
| thExplain | ToySolver.SAT.TheorySolver |
| thPopBacktrackPoint | ToySolver.SAT.TheorySolver |
| thPushBacktrackPoint | ToySolver.SAT.TheorySolver |
| tintegral | ToySolver.Data.Polynomial |
| TmApp | ToySolver.EUF.FiniteModelFinder |
| tmult | ToySolver.Data.Polynomial |
| TmVar | ToySolver.EUF.FiniteModelFinder |
| toAscBits | ToySolver.BitVector.Base, ToySolver.BitVector |
| toAtLeast | ToySolver.SAT.Encoder.PB.Internal.BCCNF |
| toCSV | ToySolver.Arith.Simplex.Textbook |
| toDescBits | ToySolver.BitVector.Base, ToySolver.BitVector |
| toFOLExpr | ToySolver.Data.LA.FOL |
| toFOLFormula | ToySolver.Data.LA.FOL |
| toLAAtom | ToySolver.Arith.FourierMotzkin.Base |
| toMonic | ToySolver.Data.Polynomial |
| toPrefixSum | ToySolver.SAT.Encoder.PB.Internal.BCCNF |
| toRat | ToySolver.Arith.FourierMotzkin.Base |
| toSkolemNF | ToySolver.EUF.FiniteModelFinder |
| toStandardForm | ToySolver.Arith.LPUtil |
| toStandardForm' | ToySolver.Arith.LPUtil |
| Totalizer | ToySolver.SAT.Encoder.Cardinality |
| TotalizerDefinitions | ToySolver.SAT.Encoder.Cardinality |
| toUPolynomialOf | ToySolver.Data.Polynomial |
| toValue | ToySolver.Arith.Simplex |
| transformBackward | ToySolver.Converter.Base, ToySolver.Converter.PB, ToySolver.Converter |
| Transformer | ToySolver.Converter.Base, ToySolver.Converter.PB, ToySolver.Converter |
| transformForward | ToySolver.Converter.Base, ToySolver.Converter.PB, ToySolver.Converter |
| transformObjValueBackward | ToySolver.Converter.Base, ToySolver.Converter.PB, ToySolver.Converter |
| transformObjValueForward | ToySolver.Converter.Base, ToySolver.Converter.PB, ToySolver.Converter |
| true | ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| tscale | ToySolver.Data.Polynomial |
| TseitinInfo | |
| 1 (Type/Class) | ToySolver.Converter.Tseitin, ToySolver.Converter.PB, ToySolver.Converter |
| 2 (Data Constructor) | ToySolver.Converter.Tseitin, ToySolver.Converter.PB, ToySolver.Converter |
| twoPhaseSimplex | ToySolver.Arith.Simplex.Textbook.LPSolver |