Index - I
| IfThenElse | ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| imagPart | ToySolver.Data.AlgebraicNumber.Complex |
| IModel | ToySolver.SAT.Types, ToySolver.SAT |
| Implicant | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.MARCO, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA |
| Implicate | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.MARCO, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA |
| ImplicateOrImplicant | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.MARCO, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA |
| Imply | |
| 1 (Data Constructor) | ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| 2 (Data Constructor) | ToySolver.Data.BoolExpr |
| 3 (Data Constructor) | ToySolver.EUF.FiniteModelFinder |
| Index | |
| 1 (Type/Class) | ToySolver.Internal.Data.Vec |
| 2 (Type/Class) | ToySolver.Internal.Data.IndexedPriorityQueue |
| 3 (Type/Class) | ToySolver.Internal.Data.PriorityQueue |
| 4 (Type/Class) | ToySolver.SMT |
| IndexNumeral | ToySolver.SMT |
| IndexSymbol | ToySolver.SMT |
| InEdge | ToySolver.Graph.ShortestPath |
| inferBounds | ToySolver.Arith.BoundsInference |
| initializeRandom | ToySolver.SAT.MessagePassing.SurveyPropagation |
| initializeRandomDirichlet | ToySolver.SAT.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 |
| IntegerVariable | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
| integerVariables | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
| integral | ToySolver.Data.Polynomial |
| InterestingOrUninterestingSet | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.MARCO, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA |
| InterestingSet | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.MARCO, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA |
| 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 |
| isBasicVariable | ToySolver.Arith.Simplex |
| IsBV | ToySolver.BitVector.Base, ToySolver.BitVector |
| isCounterExampleOf | ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996 |
| IsEqRel | ToySolver.Data.OrdRel, ToySolver.Data.FOL.Arith, ToySolver.Data.LA, 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 |
| isInteger | ToySolver.Internal.Util |
| isInteger' | ToySolver.Data.Delta |
| isInteresting | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.MARCO, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA |
| isInteresting' | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.MARCO, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA |
| 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.FOL.Arith, ToySolver.Data.LA, 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.MARCO, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA |
| isRational | ToySolver.Data.AlgebraicNumber.Real |
| isRedundant | ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996 |
| isRepresentable | ToySolver.SAT.Encoder.PB.Internal.Sorter |
| isRootOf | ToySolver.Data.Polynomial |
| IsSolver | ToySolver.Data.MIP.Solver.Base, ToySolver.Data.MIP.Solver |
| 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 | ToySolver.Data.BoolExpr |
| ite | ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| iteBoolean | ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |