| 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 |
| FileFormat | ToySolver.FileFormat.Base, ToySolver.FileFormat.CNF, ToySolver.FileFormat |
| findModel | ToySolver.EUF.FiniteModelFinder |
| findMUSAssumptions | ToySolver.SAT.MUS |
| findPoly | ToySolver.Data.AlgebraicNumber.Root |
| findPrimeImplicateOrPrimeImplicant | ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999 |
| findSample | ToySolver.Arith.CAD |
| firstOutEdge | ToySolver.Graph.ShortestPath |
| fixLit | ToySolver.SAT.Solver.MessagePassing.SurveyPropagation |
| FlatTerm | ToySolver.EUF.CongruenceClosure |
| flatTermToFSym | |
| 1 (Function) | ToySolver.EUF.CongruenceClosure |
| 2 (Function) | ToySolver.EUF.EUFSolver |
| flipOp | ToySolver.Data.OrdRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith, ToySolver.BitVector.Base, ToySolver.BitVector |
| floor' | ToySolver.Data.Delta |
| floydWarshall | ToySolver.Graph.ShortestPath |
| Fold | |
| 1 (Type/Class) | ToySolver.Graph.ShortestPath |
| 2 (Data Constructor) | ToySolver.Graph.ShortestPath |
| fold | |
| 1 (Function) | ToySolver.Data.BoolExpr |
| 2 (Function) | ToySolver.SAT.Formula, ToySolver.SAT.Encoder.Tseitin |
| 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.EUF.FiniteModelFinder |
| 3 (Type/Class) | ToySolver.SAT.Formula, ToySolver.SAT.Encoder.Tseitin |
| 4 (Type/Class) | ToySolver.Wang |
| ForwardTransformer | ToySolver.Converter.Base, ToySolver.Converter.PB, ToySolver.Converter |
| fracPart | ToySolver.Internal.Util |
| fromAscBits | ToySolver.BitVector.Base, ToySolver.BitVector |
| fromBV | ToySolver.BitVector.Base, ToySolver.BitVector |
| fromCoeffMap | |
| 1 (Function) | ToySolver.Data.LA |
| 2 (Function) | ToySolver.Data.Polynomial |
| fromDescBits | ToySolver.BitVector.Base, ToySolver.BitVector |
| 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.LA, ToySolver.Data.FOL.Arith, ToySolver.BitVector.Base, ToySolver.BitVector |
| fromReal | ToySolver.Data.Delta |
| fromTerm | ToySolver.Data.Polynomial |
| fromTerms | |
| 1 (Function) | ToySolver.Data.LA |
| 2 (Function) | ToySolver.Data.Polynomial |
| FSym | |
| 1 (Type/Class) | ToySolver.EUF.CongruenceClosure, ToySolver.EUF.EUFSolver |
| 2 (Type/Class) | ToySolver.EUF.FiniteModelFinder |
| 3 (Type/Class) | ToySolver.SMT |
| 4 (Data Constructor) | 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 |