Index - I
| IdentityTransformer | |
| 1 (Type/Class) | ToySolver.Converter.Base, ToySolver.Converter.PB, ToySolver.Converter |
| 2 (Data Constructor) | ToySolver.Converter.Base, ToySolver.Converter.PB, ToySolver.Converter |
| IfThenElse | ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| imagPart | ToySolver.Data.AlgebraicNumber.Complex |
| IModel | ToySolver.SAT.Types, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| Implicant | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA, ToySolver.Combinatorial.HittingSet.MARCO |
| Implicate | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA, ToySolver.Combinatorial.HittingSet.MARCO |
| ImplicateOrImplicant | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA, ToySolver.Combinatorial.HittingSet.MARCO |
| Imply | |
| 1 (Data Constructor) | ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| 2 (Data Constructor) | ToySolver.Data.BoolExpr |
| 3 (Data Constructor) | ToySolver.EUF.FiniteModelFinder |
| 4 (Data Constructor) | ToySolver.SAT.Formula, ToySolver.SAT.Encoder.Tseitin |
| implyBCClause | ToySolver.SAT.Encoder.PB.Internal.BCCNF |
| implyBCLit | ToySolver.SAT.Encoder.PB.Internal.BCCNF |
| Index | |
| 1 (Type/Class) | ToySolver.Internal.Data.Vec |
| 2 (Type/Class) | ToySolver.Internal.Data.PriorityQueue |
| 3 (Type/Class) | ToySolver.Internal.Data.IndexedPriorityQueue |
| 4 (Type/Class) | ToySolver.SMT |
| IndexNumeral | ToySolver.SMT |
| IndexSymbol | ToySolver.SMT |
| InEdge | ToySolver.Graph.ShortestPath |
| inequalitiesToEqualitiesPB | ToySolver.Converter.PB, ToySolver.Converter |
| inferBounds | ToySolver.Arith.BoundsInference |
| initializeRandom | ToySolver.SAT.Solver.MessagePassing.SurveyPropagation |
| initializeRandomDirichlet | ToySolver.SAT.Solver.MessagePassing.SurveyPropagation |
| Insertion | ToySolver.SAT.MUS |
| instantiateAtLeast | ToySolver.SAT.Types |
| instantiateClause | ToySolver.SAT.Types |
| instantiatePBLinAtLeast | ToySolver.SAT.Types |
| instantiatePBLinExactly | ToySolver.SAT.Types |
| instantiateXORClause | ToySolver.SAT.Types |
| integral | ToySolver.Data.Polynomial |
| InterestingOrUninterestingSet | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA, ToySolver.Combinatorial.HittingSet.MARCO |
| InterestingSet | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA, ToySolver.Combinatorial.HittingSet.MARCO |
| interpolate | |
| 1 (Function) | ToySolver.Data.Polynomial.Interpolation.Hermite |
| 2 (Function) | ToySolver.Data.Polynomial.Interpolation.Lagrange |
| Interval | ToySolver.Arith.CAD |
| IOURef | ToySolver.Internal.Data.IOURef |
| ip2pb | ToySolver.Converter.MIP, ToySolver.Converter |
| IP2PBInfo | |
| 1 (Type/Class) | ToySolver.Converter.MIP, ToySolver.Converter |
| 2 (Data Constructor) | ToySolver.Converter.MIP, ToySolver.Converter |
| is2pb | ToySolver.Converter.SAT2MIS, ToySolver.Converter |
| IS2SATInfo | ToySolver.Converter.SAT2MIS, ToySolver.Converter |
| isAlgebraicInteger | ToySolver.Data.AlgebraicNumber.Real |
| isBasicVariable | ToySolver.Arith.Simplex |
| IsBV | ToySolver.BitVector.Base, ToySolver.BitVector |
| isCliqueOf | ToySolver.Graph.Base |
| isCounterExampleOf | ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996 |
| IsEqRel | ToySolver.Data.OrdRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith, ToySolver.BitVector.Base, ToySolver.BitVector |
| isFeasible | |
| 1 (Function) | ToySolver.Arith.Simplex.Textbook |
| 2 (Function) | ToySolver.Arith.Simplex |
| isFinished | |
| 1 (Function) | ToySolver.SAT.PBO.Context |
| 2 (Function) | ToySolver.SAT.PBO |
| isIndependentSet | ToySolver.Graph.Base |
| isIndependentSetOf | ToySolver.Graph.Base |
| ising2qubo | ToySolver.Converter.QUBO, ToySolver.Converter |
| Ising2QUBOInfo | |
| 1 (Type/Class) | ToySolver.Converter.QUBO, ToySolver.Converter |
| 2 (Data Constructor) | ToySolver.Converter.QUBO, ToySolver.Converter |
| isingExternalMagneticField | ToySolver.QUBO |
| isingInteraction | ToySolver.QUBO |
| IsingModel | |
| 1 (Type/Class) | ToySolver.QUBO |
| 2 (Data Constructor) | ToySolver.QUBO |
| isingNumVars | ToySolver.QUBO |
| isInteger | ToySolver.Internal.Util |
| isInteger' | ToySolver.Data.Delta |
| isInteresting | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA, ToySolver.Combinatorial.HittingSet.MARCO |
| isInteresting' | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA, ToySolver.Combinatorial.HittingSet.MARCO |
| isNegativeCoeff | ToySolver.Data.Polynomial |
| isNonBasicVariable | ToySolver.Arith.Simplex |
| IsNonneg | ToySolver.Arith.FourierMotzkin.Base, ToySolver.Arith.FourierMotzkin |
| isolatingInterval | ToySolver.Data.AlgebraicNumber.Real |
| isOptimal | |
| 1 (Function) | ToySolver.Arith.Simplex.Textbook |
| 2 (Function) | ToySolver.Arith.Simplex |
| isOptimum | |
| 1 (Function) | ToySolver.SAT.PBO.Context |
| 2 (Function) | ToySolver.SAT.PBO |
| IsOrdRel | ToySolver.Data.OrdRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith, ToySolver.BitVector.Base, ToySolver.BitVector |
| IsPos | |
| 1 (Data Constructor) | ToySolver.Arith.FourierMotzkin.Base, ToySolver.Arith.FourierMotzkin |
| 2 (Data Constructor) | ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper |
| isPrimitive | ToySolver.Data.Polynomial |
| IsProblem | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA, ToySolver.Combinatorial.HittingSet.MARCO |
| isRational | ToySolver.Data.AlgebraicNumber.Real |
| isRedundant | ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996 |
| isRepresentable | ToySolver.SAT.Encoder.PB.Internal.Sorter |
| isRootOf | ToySolver.Data.Polynomial |
| isSimpleGraph | ToySolver.Graph.Base |
| isSquareFree | ToySolver.Data.Polynomial |
| isUnsat | |
| 1 (Function) | ToySolver.SAT.PBO.Context |
| 2 (Function) | ToySolver.SAT.PBO |
| isValid | ToySolver.Wang |
| isValidTableau | ToySolver.Arith.Simplex.Textbook |
| IsZero | ToySolver.Arith.FourierMotzkin.Base, ToySolver.Arith.FourierMotzkin |
| ITE | |
| 1 (Data Constructor) | ToySolver.Data.BoolExpr |
| 2 (Data Constructor) | ToySolver.SAT.Formula, ToySolver.SAT.Encoder.Tseitin |
| ite | ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| iteBoolean | ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |