| ObjectiveFunction | ToySolver.Data.MIP |
| objectiveFunction | ToySolver.Data.MIP |
| ObjLimit | ToySolver.Simplex2 |
| objLimit | ToySolver.Simplex2 |
| ObjMaxOne | ToySolver.Converter.ObjType, ToySolver.Converter.PBSetObj |
| ObjMaxZero | ToySolver.Converter.ObjType, ToySolver.Converter.PBSetObj |
| ObjNone | ToySolver.Converter.ObjType, ToySolver.Converter.PBSetObj |
| objRowIndex | ToySolver.Simplex |
| ObjType | ToySolver.Converter.ObjType, ToySolver.Converter.PBSetObj |
| Op | ToySolver.Text.PBFile |
| optCallback | ToySolver.SAT.CAMUS |
| optCheckReal | ToySolver.OmegaTest |
| optCheckSAT | ToySolver.Converter.MIP2SMT |
| OptDir | ToySolver.Data.MIP, ToySolver.Simplex, ToySolver.Simplex2, ToySolver.MIPSolverHL |
| optEnableBiasedSearch | ToySolver.SAT.PBO.BCD2 |
| optEnableHardening | ToySolver.SAT.PBO.BCD2 |
| optHTCBDDCommand | ToySolver.HittingSet.HTCBDD |
| optimize | |
| 1 (Function) | ToySolver.SAT.PBO |
| 2 (Function) | ToySolver.Simplex2 |
| 3 (Function) | ToySolver.MIPSolver2 |
| 4 (Function) | ToySolver.LPSolverHL |
| 5 (Function) | ToySolver.MIPSolverHL |
| Optimizer | ToySolver.SAT.PBO |
| Optimum | |
| 1 (Data Constructor) | ToySolver.Simplex2 |
| 2 (Data Constructor) | ToySolver.LPSolver |
| 3 (Data Constructor) | ToySolver.LPSolverHL, ToySolver.MIPSolverHL |
| Options | |
| 1 (Type/Class) | ToySolver.HittingSet.SHD |
| 2 (Data Constructor) | ToySolver.HittingSet.SHD |
| 3 (Type/Class) | ToySolver.HittingSet.HTCBDD |
| 4 (Data Constructor) | ToySolver.HittingSet.HTCBDD |
| 5 (Type/Class) | ToySolver.SAT.MUS |
| 6 (Data Constructor) | ToySolver.SAT.MUS |
| 7 (Type/Class) | ToySolver.SAT.CAMUS |
| 8 (Data Constructor) | ToySolver.SAT.CAMUS |
| 9 (Type/Class) | ToySolver.SAT.PBO.BCD2 |
| 10 (Data Constructor) | ToySolver.SAT.PBO.BCD2 |
| 11 (Type/Class) | ToySolver.Data.Polynomial.GroebnerBasis |
| 12 (Data Constructor) | ToySolver.Data.Polynomial.GroebnerBasis |
| 13 (Type/Class) | ToySolver.Converter.MIP2SMT |
| 14 (Data Constructor) | ToySolver.Converter.MIP2SMT |
| 15 (Type/Class) | ToySolver.OmegaTest |
| 16 (Data Constructor) | ToySolver.OmegaTest |
| 17 (Type/Class) | ToySolver.Simplex2 |
| 18 (Data Constructor) | ToySolver.Simplex2 |
| optLanguage | ToySolver.Converter.MIP2SMT |
| optLitPrinter | ToySolver.SAT.MUS |
| optLogger | |
| 1 (Function) | ToySolver.SAT.MUS |
| 2 (Function) | ToySolver.SAT.CAMUS |
| OptMax | ToySolver.Data.MIP, ToySolver.Simplex, ToySolver.Simplex2, ToySolver.MIPSolverHL |
| optMCSCandidates | ToySolver.SAT.CAMUS |
| optMethod | ToySolver.HittingSet.HTCBDD |
| OptMin | ToySolver.Data.MIP, ToySolver.Simplex, ToySolver.Simplex2, ToySolver.MIPSolverHL |
| optOnGetErrorLine | |
| 1 (Function) | ToySolver.HittingSet.SHD |
| 2 (Function) | ToySolver.HittingSet.HTCBDD |
| optOnGetLine | |
| 1 (Function) | ToySolver.HittingSet.SHD |
| 2 (Function) | ToySolver.HittingSet.HTCBDD |
| optOptimize | ToySolver.Converter.MIP2SMT |
| optProduceModel | ToySolver.Converter.MIP2SMT |
| OptResult | |
| 1 (Type/Class) | ToySolver.Simplex2 |
| 2 (Type/Class) | ToySolver.LPSolver |
| 3 (Type/Class) | ToySolver.LPSolverHL, ToySolver.MIPSolverHL |
| optSetLogic | ToySolver.Converter.MIP2SMT |
| optSHDArgs | ToySolver.HittingSet.SHD |
| optSHDCommand | ToySolver.HittingSet.SHD |
| optSolvingNormalFirst | ToySolver.SAT.PBO.BCD2 |
| optStrategy | ToySolver.Data.Polynomial.GroebnerBasis |
| OptUnsat | ToySolver.LPSolverHL, ToySolver.MIPSolverHL |
| optUpdateBest | ToySolver.SAT.MUS |
| Or | |
| 1 (Data Constructor) | ToySolver.SAT.TseitinEncoder |
| 2 (Data Constructor) | ToySolver.FOLModelFinder |
| 3 (Data Constructor) | ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| 4 (Data Constructor) | ToySolver.Cooper.Core, ToySolver.Cooper |
| orB | ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |