| Rat | ToySolver.Arith.FourierMotzkin.Base |
| RawModel | ToySolver.Arith.Simplex |
| read | ToySolver.Internal.Data.Vec |
| readDataFile | ToySolver.Text.SDPFile |
| readFile | ToySolver.FileFormat.Base, ToySolver.FileFormat.CNF, ToySolver.FileFormat |
| readInt | ToySolver.Internal.TextUtil |
| readIOURef | ToySolver.Internal.Data.IOURef |
| readUnsignedInteger | ToySolver.Internal.TextUtil |
| realPart | |
| 1 (Function) | ToySolver.Data.AlgebraicNumber.Complex |
| 2 (Function) | ToySolver.Data.Delta |
| realRoots | ToySolver.Data.AlgebraicNumber.Real |
| realRootsEx | ToySolver.Data.AlgebraicNumber.Real |
| rebuild | |
| 1 (Function) | ToySolver.Internal.Data.PriorityQueue |
| 2 (Function) | ToySolver.Internal.Data.IndexedPriorityQueue |
| reduce | ToySolver.Data.Polynomial |
| reduceBCClause | ToySolver.SAT.Encoder.PB.Internal.BCCNF |
| reduceBCCNF | ToySolver.SAT.Encoder.PB.Internal.BCCNF |
| reduceGBasis | ToySolver.Data.Polynomial.GroebnerBasis |
| refineIsolatingInterval | ToySolver.Data.AlgebraicNumber.Real |
| Rel | ToySolver.BitVector.Base, ToySolver.BitVector |
| RelOp | ToySolver.Data.OrdRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith, ToySolver.BitVector.Base, ToySolver.Arith.Simplex, ToySolver.BitVector |
| removeNegationFromPBSum | ToySolver.SAT.Types |
| render | ToySolver.FileFormat.Base, ToySolver.FileFormat.CNF, ToySolver.FileFormat |
| renderData | ToySolver.Text.SDPFile |
| renderSparseData | ToySolver.Text.SDPFile |
| repeat | ToySolver.BitVector.Base, ToySolver.BitVector |
| resize | ToySolver.Internal.Data.Vec |
| resizeCapacity | ToySolver.Internal.Data.Vec |
| resizeHeapCapacity | |
| 1 (Function) | ToySolver.Internal.Data.PriorityQueue |
| 2 (Function) | ToySolver.Internal.Data.IndexedPriorityQueue |
| resizeTableCapacity | ToySolver.Internal.Data.IndexedPriorityQueue |
| resizeVarCapacity | ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| RestartStrategy | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| restrictModel | ToySolver.SAT.Types |
| ReversedTransformer | |
| 1 (Type/Class) | ToySolver.Converter.Base, ToySolver.Converter.PB, ToySolver.Converter |
| 2 (Data Constructor) | ToySolver.Converter.Base, ToySolver.Converter.PB, ToySolver.Converter |
| revForM | ToySolver.Internal.Util |
| revlex | ToySolver.Data.Polynomial |
| revMapM | ToySolver.Internal.Util |
| revSequence | ToySolver.Internal.Util |
| rootAdd | ToySolver.Data.AlgebraicNumber.Root |
| rootIndex | ToySolver.Data.AlgebraicNumber.Real |
| rootMul | ToySolver.Data.AlgebraicNumber.Root |
| rootNthRoot | ToySolver.Data.AlgebraicNumber.Root |
| RootOf | ToySolver.Arith.CAD |
| rootRecip | ToySolver.Data.AlgebraicNumber.Root |
| rootScale | ToySolver.Data.AlgebraicNumber.Root |
| rootShift | ToySolver.Data.AlgebraicNumber.Root |
| rootSimpPoly | ToySolver.Data.AlgebraicNumber.Root |
| Row | ToySolver.Arith.Simplex.Textbook |
| RowIndex | ToySolver.Arith.Simplex.Textbook |
| run | |
| 1 (Function) | ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999 |
| 2 (Function) | ToySolver.Combinatorial.HittingSet.DAA |
| 3 (Function) | ToySolver.Combinatorial.HittingSet.MARCO |
| runProcessWithOutputCallback | ToySolver.Internal.ProcessUtil |