| Rat | ToySolver.Arith.FourierMotzkin.Base |
| RawModel | ToySolver.Arith.Simplex2 |
| read | ToySolver.Internal.Data.Vec |
| readFile | ToySolver.Data.MIP |
| readInt | ToySolver.Internal.TextUtil |
| readIOURef | ToySolver.Internal.Data.IOURef |
| readLPFile | ToySolver.Data.MIP |
| readMPSFile | ToySolver.Data.MIP |
| readUnsignedInteger | ToySolver.Internal.TextUtil |
| realPart | |
| 1 (Function) | ToySolver.Data.Delta |
| 2 (Function) | ToySolver.Data.AlgebraicNumber.Complex |
| realRoots | ToySolver.Data.AlgebraicNumber.Real |
| realRootsEx | ToySolver.Data.AlgebraicNumber.Real |
| reduce | ToySolver.Data.Polynomial |
| reduceGBasis | ToySolver.Data.Polynomial.GroebnerBasis |
| refineIsolatingInterval | ToySolver.Data.AlgebraicNumber.Real |
| RelOp | |
| 1 (Type/Class) | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
| 2 (Type/Class) | ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith, ToySolver.Arith.Simplex2 |
| render | |
| 1 (Function) | ToySolver.Text.SDPFile |
| 2 (Function) | ToySolver.Text.GurobiSol |
| 3 (Function) | ToySolver.Text.MPSFile |
| 4 (Function) | ToySolver.Text.LPFile |
| renderOPB | ToySolver.Text.PBFile |
| renderSparse | ToySolver.Text.SDPFile |
| renderWBO | ToySolver.Text.PBFile |
| 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 |
| RestartStrategy | ToySolver.SAT |
| 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 |
| RowIndex | ToySolver.Arith.Simplex |
| runProcessWithOutputCallback | ToySolver.Internal.ProcessUtil |