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 |