| cabook_proposition_5_10 | ToySolver.Data.Polynomial.Factorization.Hensel.Internal |
| cabook_proposition_5_11 | ToySolver.Data.Polynomial.Factorization.Hensel.Internal |
| Callbacks | |
| 1 (Type/Class) | ToySolver.SAT.Solver.SLS.ProbSAT |
| 2 (Data Constructor) | ToySolver.SAT.Solver.SLS.ProbSAT |
| CAMUS | ToySolver.SAT.MUS.Enum |
| cancel | ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| Canceled | |
| 1 (Type/Class) | ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| 2 (Data Constructor) | ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| cardinalityReduction | ToySolver.SAT.Types |
| cbGenerateInitialSolution | ToySolver.SAT.Solver.SLS.ProbSAT |
| cbOnUpdateBestSolution | ToySolver.SAT.Solver.SLS.ProbSAT |
| ceiling' | ToySolver.Data.Delta |
| Cell | ToySolver.Arith.CAD |
| check | |
| 1 (Function) | ToySolver.EUF.EUFSolver |
| 2 (Function) | ToySolver.Arith.Simplex |
| 3 (Function) | ToySolver.Arith.Simplex.Simple |
| 4 (Function) | ToySolver.BitVector.Solver, ToySolver.BitVector |
| checkDuality | ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996 |
| checkDualityA | ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996 |
| checkDualityB | ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996 |
| checkRealByCAD | ToySolver.Arith.OmegaTest |
| checkRealByFM | ToySolver.Arith.OmegaTest.Base, ToySolver.Arith.OmegaTest |
| checkRealBySimplex | ToySolver.Arith.OmegaTest |
| checkRealByVS | ToySolver.Arith.OmegaTest |
| checkRealNoCheck | ToySolver.Arith.OmegaTest.Base, ToySolver.Arith.OmegaTest |
| checkSAT | ToySolver.SMT |
| checkSATAssuming | ToySolver.SMT |
| Clause | |
| 1 (Type/Class) | ToySolver.SAT.Types, ToySolver.SAT.Solver.CDCL, ToySolver.SAT, ToySolver.FileFormat.CNF |
| 2 (Type/Class) | ToySolver.EUF.FiniteModelFinder |
| clauseSubsume | ToySolver.SAT.Types |
| clauseToPBLinAtLeast | ToySolver.SAT.Types |
| clear | |
| 1 (Function) | ToySolver.Internal.Data.SeqQueue |
| 2 (Function) | ToySolver.Internal.Data.Vec |
| 3 (Function) | ToySolver.Internal.Data.PriorityQueue |
| 4 (Function) | ToySolver.Internal.Data.IndexedPriorityQueue |
| clearLearnCallback | ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| clearLogger | |
| 1 (Function) | ToySolver.Arith.Simplex |
| 2 (Function) | ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| clearTerminateCallback | ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| clone | |
| 1 (Function) | ToySolver.Internal.Data.Vec |
| 2 (Function) | ToySolver.Internal.Data.PriorityQueue |
| 3 (Function) | ToySolver.Internal.Data.IndexedPriorityQueue |
| cloneSolver | ToySolver.Arith.Simplex |
| CNF | |
| 1 (Type/Class) | ToySolver.FileFormat.CNF |
| 2 (Data Constructor) | ToySolver.FileFormat.CNF |
| cnfClauses | ToySolver.FileFormat.CNF |
| cnfNumClauses | ToySolver.FileFormat.CNF |
| cnfNumVars | ToySolver.FileFormat.CNF |
| CNFStore | ToySolver.SAT.Store.CNF |
| coeff | |
| 1 (Function) | ToySolver.Data.LA |
| 2 (Function) | ToySolver.Data.Polynomial |
| coeffMap | |
| 1 (Function) | ToySolver.Data.LA |
| 2 (Function) | ToySolver.Data.Polynomial |
| ColIndex | ToySolver.Arith.Simplex.Textbook |
| collectBounds | ToySolver.Arith.FourierMotzkin.Base |
| collectNonnegVars | ToySolver.Arith.Simplex.Textbook.LPSolver |
| combineMaybe | ToySolver.Internal.Util |
| ComparisonResult | ToySolver.BitVector.Base, ToySolver.BitVector, ToySolver.BitVector |
| compilationTime | ToySolver.Version |
| Complement | ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| complementGraph | ToySolver.Graph.Base |
| complementSimpleGraph | ToySolver.Graph.Base |
| ComposedTransformer | |
| 1 (Type/Class) | ToySolver.Converter.Base, ToySolver.Converter.PB, ToySolver.Converter |
| 2 (Data Constructor) | ToySolver.Converter.Base, ToySolver.Converter.PB, ToySolver.Converter |
| computeInterval | ToySolver.Data.LA, ToySolver.Arith.BoundsInference |
| condition_1_1 | ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996 |
| condition_1_1_solve | ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996 |
| condition_1_2 | ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996 |
| condition_1_2_solve | ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996 |
| condition_1_3 | ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996 |
| condition_1_3_solve | ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996 |
| condition_2_1 | ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996 |
| condition_2_1_solve | ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996 |
| Config | |
| 1 (Type/Class) | ToySolver.Arith.Simplex |
| 2 (Data Constructor) | ToySolver.Arith.Simplex |
| 3 (Type/Class) | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| 4 (Data Constructor) | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| configBranchingStrategy | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| configCCMin | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| configCheckModel | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| configConstrDecay | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| configEMADecay | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| configEnableBackwardSubsumptionRemoval | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| configEnableBoundTightening | ToySolver.Arith.Simplex |
| configEnableForwardSubsumptionRemoval | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| configEnablePBSplitClausePart | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| configEnablePhaseSaving | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| configERWAStepSizeDec | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| configERWAStepSizeFirst | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| configERWAStepSizeMin | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| configLearningStrategy | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| configLearntSizeFirst | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| configLearntSizeInc | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| configPBHandlerType | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| configPivotStrategy | ToySolver.Arith.Simplex |
| configRandomFreq | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| configRestartFirst | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| configRestartInc | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| configRestartStrategy | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| configVarDecay | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| conjugate | ToySolver.Data.AlgebraicNumber.Complex |
| Const | ToySolver.Data.FOL.Arith |
| constant | |
| 1 (Function) | ToySolver.Data.LA |
| 2 (Function) | ToySolver.Data.Polynomial |
| Constr | ToySolver.Arith.FourierMotzkin.Base, ToySolver.Arith.FourierMotzkin |
| constraintsToDNF | ToySolver.Arith.FourierMotzkin.Base |
| ConstrID | |
| 1 (Type/Class) | ToySolver.EUF.CongruenceClosure, ToySolver.EUF.EUFSolver |
| 2 (Type/Class) | ToySolver.Arith.Simplex |
| ConstrIDSet | ToySolver.Arith.Simplex |
| cont | ToySolver.Data.Polynomial |
| Context | ToySolver.SAT.PBO.Context |
| ContPP | ToySolver.Data.Polynomial |
| converseGraph | ToySolver.Graph.Base |
| Cost | ToySolver.SAT.Encoder.PB.Internal.Sorter |
| cost | ToySolver.Graph.ShortestPath |
| costs | ToySolver.Text.SDPFile |
| CS | ToySolver.SAT.MUS.Types, ToySolver.SAT.MUS.Enum, ToySolver.SAT.MUS |
| currentObjValue | ToySolver.Arith.Simplex.Textbook |
| currentValue | ToySolver.Arith.Simplex.Textbook |
| cutResolve | ToySolver.SAT.Types |