jukebox-0.2.9: A first-order reasoning toolbox (Index - R)

jukebox-0.2.9: A first-order reasoning toolbox

Index - R

Rational
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Name
ratNumber	Jukebox.TPTP.Parse.Core
ratType	Jukebox.TPTP.Parse.Core
ratValue	Jukebox.TPTP.Lexer
RBrack	Jukebox.TPTP.Lexer
Real
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Name
realNumber	Jukebox.TPTP.Parse.Core
realType	Jukebox.TPTP.Parse.Core
recursively	Jukebox.Form
recursivelyM	Jukebox.Form
removeEquiv	Jukebox.Clausify
removeEquivAux	Jukebox.Clausify
removeExists	Jukebox.Clausify
removeExpensiveOr	Jukebox.Clausify
removeExpensiveOrAux	Jukebox.Clausify
renameAvoidingKeywords	Jukebox.SMTLIB
Renamer	Jukebox.Name
renamer	Jukebox.Name
renameTPTP	Jukebox.SMTLIB
Renaming
1 (Type/Class)	Jukebox.Name
2 (Data Constructor)	Jukebox.Name
renamings	Jukebox.SMTLIB
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.Form
3 (Function)	Jukebox.Clausify
runE	Jukebox.Provers.E
runNameM	Jukebox.Name
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