Index - R
| RBrack | Jukebox.TPTP.Lexer |
| recursively | Jukebox.Form |
| recursivelyM | Jukebox.Form |
| removeEquiv | Jukebox.Clausify |
| removeEquivAux | Jukebox.Clausify |
| removeExists | Jukebox.Clausify |
| removeExpensiveOr | Jukebox.Clausify |
| removeExpensiveOrAux | Jukebox.Clausify |
| Rep | Jukebox.Form |
| rep | |
| 1 (Function) | Jukebox.UnionFind |
| 2 (Function) | Jukebox.Form |
| rep' | Jukebox.Form |
| Replacement | Jukebox.UnionFind |
| Reply | Jukebox.TPTP.Parsec |
| reps | Jukebox.UnionFind |
| res | Jukebox.Form |
| Result | Jukebox.TPTP.Parsec |
| rhs | Jukebox.Name |
| rhss | Jukebox.GuessModel |
| RParen | Jukebox.TPTP.Lexer |
| run | |
| 1 (Function) | Jukebox.TPTP.Parsec |
| 2 (Function) | Jukebox.Clausify |
| runE | Jukebox.Provers.E |
| runPar | Jukebox.Options |
| runParsec | Jukebox.TPTP.Parsec |
| runPref | Jukebox.Options |
| runSat | Jukebox.HighSat |
| runSat1 | Jukebox.HighSat |
| runSat1_ | Jukebox.HighSat |
| runSat_ | Jukebox.HighSat |
| runSPASS | Jukebox.Provers.SPASS |
| runUF | Jukebox.UnionFind |
| run_ | Jukebox.TPTP.Parsec |