| F | |
| 1 (Data Constructor) | ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| 2 (Data Constructor) | ToySolver.EUF.FiniteModelFinder |
| Factor | ToySolver.Data.Polynomial |
| factor | |
| 1 (Function) | ToySolver.Data.Polynomial |
| 2 (Function) | ToySolver.Data.Polynomial.Factorization.FiniteField |
| 3 (Function) | ToySolver.Data.Polynomial.Factorization.Zassenhaus |
| 4 (Function) | ToySolver.Data.Polynomial.Factorization.Kronecker |
| Failure | |
| 1 (Type/Class) | ToySolver.Combinatorial.HittingSet.SHD |
| 2 (Data Constructor) | ToySolver.Combinatorial.HittingSet.SHD |
| 3 (Type/Class) | ToySolver.Combinatorial.HittingSet.HTCBDD |
| 4 (Data Constructor) | ToySolver.Combinatorial.HittingSet.HTCBDD |
| false | ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| findModel | ToySolver.EUF.FiniteModelFinder |
| findMUSAssumptions | |
| 1 (Function) | ToySolver.SAT.MUS |
| 2 (Function) | ToySolver.SAT.MUS.QuickXplain |
| findPoly | ToySolver.Data.AlgebraicNumber.Root |
| findPrimeImplicateOrPrimeImplicant | ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999 |
| findSample | ToySolver.Arith.CAD |
| Finite | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
| FlatTerm | ToySolver.EUF.CongruenceClosure |
| flatTermToFSym | |
| 1 (Function) | ToySolver.EUF.CongruenceClosure |
| 2 (Function) | ToySolver.EUF.EUFSolver |
| flipOp | ToySolver.Data.OrdRel, ToySolver.Data.FOL.Arith, ToySolver.Data.LA |
| floor' | ToySolver.Data.Delta |
| fold | ToySolver.Data.BoolExpr |
| Forall | |
| 1 (Data Constructor) | ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| 2 (Data Constructor) | ToySolver.EUF.FiniteModelFinder |
| Formula | |
| 1 (Type/Class) | ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| 2 (Type/Class) | ToySolver.Wang |
| 3 (Type/Class) | ToySolver.EUF.FiniteModelFinder |
| 4 (Type/Class) | ToySolver.SAT.TseitinEncoder |
| fracPart | ToySolver.Internal.Util |
| fromCoeffMap | |
| 1 (Function) | ToySolver.Data.Polynomial |
| 2 (Function) | ToySolver.Data.LA |
| fromFOLAtom | ToySolver.Data.LA.FOL |
| fromFOLExpr | ToySolver.Data.LA.FOL |
| fromLAAtom | |
| 1 (Function) | ToySolver.Arith.FourierMotzkin.Base |
| 2 (Function) | ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper |
| fromOrdRel | ToySolver.Data.OrdRel, ToySolver.Data.FOL.Arith, ToySolver.Data.LA |
| fromReal | ToySolver.Data.Delta |
| fromTerm | ToySolver.Data.Polynomial |
| fromTerms | |
| 1 (Function) | ToySolver.Data.Polynomial |
| 2 (Function) | ToySolver.Data.LA |
| fromVar | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
| FSym | |
| 1 (Type/Class) | ToySolver.EUF.CongruenceClosure, ToySolver.EUF.EUFSolver |
| 2 (Type/Class) | ToySolver.EUF.FiniteModelFinder |
| 3 (Type/Class) | ToySolver.SMT |
| fsymToFlatTerm | |
| 1 (Function) | ToySolver.EUF.CongruenceClosure |
| 2 (Function) | ToySolver.EUF.EUFSolver |
| fsymToTerm | |
| 1 (Function) | ToySolver.EUF.CongruenceClosure |
| 2 (Function) | ToySolver.EUF.EUFSolver |
| FTApp | ToySolver.EUF.CongruenceClosure |
| FTConst | ToySolver.EUF.CongruenceClosure |
| FunDef | |
| 1 (Type/Class) | ToySolver.SMT |
| 2 (Data Constructor) | ToySolver.SMT |
| FunType | ToySolver.SMT |