| imagPart | ToySolver.Data.AlgebraicNumber.Complex |
| IModel | ToySolver.SAT.Types |
| Imply | |
| 1 (Data Constructor) | ToySolver.FOLModelFinder |
| 2 (Data Constructor) | ToySolver.Data.BoolExpr |
| 3 (Data Constructor) | ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| Index | |
| 1 (Type/Class) | ToySolver.Internal.Data.Vec |
| 2 (Type/Class) | ToySolver.Internal.Data.IndexedPriorityQueue |
| 3 (Type/Class) | ToySolver.Internal.Data.PriorityQueue |
| inferBounds | ToySolver.Arith.BoundsInference |
| instantiateAtLeast | ToySolver.SAT.Types |
| instantiateClause | ToySolver.SAT.Types |
| instantiatePBLinAtLeast | ToySolver.SAT.Types |
| instantiatePBLinExactly | ToySolver.SAT.Types |
| instantiateXORClause | ToySolver.SAT.Types |
| IntegerVariable | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
| integerVariables | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
| integral | ToySolver.Data.Polynomial |
| interpolate | ToySolver.Data.Polynomial.Interpolation.Lagrange |
| intersectBounds | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
| Interval | ToySolver.Arith.CAD |
| IOURef | ToySolver.Internal.Data.IOURef |
| isAlgebraicInteger | ToySolver.Data.AlgebraicNumber.Real |
| IsArithRel | ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith |
| isBasicVariable | ToySolver.Arith.Simplex2 |
| isCounterExampleOf | ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996 |
| isFeasible | |
| 1 (Function) | ToySolver.Arith.Simplex |
| 2 (Function) | ToySolver.Arith.Simplex2 |
| isFinished | |
| 1 (Function) | ToySolver.SAT.PBO.Context |
| 2 (Function) | ToySolver.SAT.PBO |
| isInteger | ToySolver.Internal.Util |
| isInteger' | ToySolver.Data.Delta |
| isNegativeCoeff | ToySolver.Data.Polynomial |
| isNonBasicVariable | ToySolver.Arith.Simplex2 |
| IsNonneg | ToySolver.Arith.FourierMotzkin.Base, ToySolver.Arith.FourierMotzkin |
| isolatingInterval | ToySolver.Data.AlgebraicNumber.Real |
| isOptimal | |
| 1 (Function) | ToySolver.Arith.Simplex |
| 2 (Function) | ToySolver.Arith.Simplex2 |
| isOptimum | |
| 1 (Function) | ToySolver.SAT.PBO.Context |
| 2 (Function) | ToySolver.SAT.PBO |
| 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 |
| isRational | ToySolver.Data.AlgebraicNumber.Real |
| isRedundant | ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996 |
| isRootOf | ToySolver.Data.Polynomial |
| isSquareFree | ToySolver.Data.Polynomial |
| isUnsat | |
| 1 (Function) | ToySolver.SAT.PBO.Context |
| 2 (Function) | ToySolver.SAT.PBO |
| isValid | ToySolver.Wang |
| isValidTableau | ToySolver.Arith.Simplex |
| IsZero | ToySolver.Arith.FourierMotzkin.Base, ToySolver.Arith.FourierMotzkin |
| ITE | ToySolver.Data.BoolExpr |
| ite | ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |