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

jukebox-0.5.2: A first-order reasoning toolbox

Index - R

Rational
1 (Data Constructor)	Jukebox.Name
2 (Data Constructor)	Jukebox.TPTP.Lexer
ratNumber	Jukebox.TPTP.Parse.Core
ratType	Jukebox.Form
ratValue	Jukebox.TPTP.Lexer
RBrack	Jukebox.TPTP.Lexer
readProblem	Jukebox.Toolbox
readProblemBox	Jukebox.Toolbox
readTPTPFile	Jukebox.Toolbox
readTPTPFileBox	Jukebox.Toolbox
Real
1 (Data Constructor)	Jukebox.Name
2 (Data Constructor)	Jukebox.TPTP.Lexer
realNumber	Jukebox.TPTP.Parse.Core
realType	Jukebox.Form
recursively	Jukebox.Form
recursivelyM	Jukebox.Form
removeEquiv	Jukebox.Tools.Clausify
removeEquivAux	Jukebox.Tools.Clausify
removeExists	Jukebox.Tools.Clausify
removeExpensiveOr	Jukebox.Tools.Clausify
removeExpensiveOrAux	Jukebox.Tools.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.Tools.GuessModel
RParen	Jukebox.TPTP.Lexer
run
1 (Function)	Jukebox.TPTP.Parsec
2 (Function)	Jukebox.Form
3 (Function)	Jukebox.Tools.Clausify
runE	Jukebox.ExternalProvers.E
runNameM	Jukebox.Name
runPar	Jukebox.Options
runParsec	Jukebox.TPTP.Parsec
runSat	Jukebox.Sat.Easy
runSat1	Jukebox.Sat.Easy
runSat1_	Jukebox.Sat.Easy
runSat_	Jukebox.Sat.Easy
runSPASS	Jukebox.ExternalProvers.SPASS
runUF	Jukebox.UnionFind
run_
1 (Function)	Jukebox.TPTP.Parsec
2 (Function)	Jukebox.Form