jukebox-0.4.2: A first-order reasoning toolbox

Index - R

Rational 
1 (Data Constructor)Jukebox.Name
2 (Data Constructor)Jukebox.TPTP.Lexer
ratNumberJukebox.TPTP.Parse.Core
ratTypeJukebox.Form
ratValueJukebox.TPTP.Lexer
RBrackJukebox.TPTP.Lexer
readProblemJukebox.Toolbox
readProblemBoxJukebox.Toolbox
Real 
1 (Data Constructor)Jukebox.Name
2 (Data Constructor)Jukebox.TPTP.Lexer
realNumberJukebox.TPTP.Parse.Core
realTypeJukebox.Form
recursivelyJukebox.Form
recursivelyMJukebox.Form
removeEquivJukebox.Tools.Clausify
removeEquivAuxJukebox.Tools.Clausify
removeExistsJukebox.Tools.Clausify
removeExpensiveOrJukebox.Tools.Clausify
removeExpensiveOrAuxJukebox.Tools.Clausify
renameAvoidingKeywordsJukebox.SMTLIB
RenamerJukebox.Name
renamerJukebox.Name
renameTPTPJukebox.SMTLIB
Renaming 
1 (Type/Class)Jukebox.Name
2 (Data Constructor)Jukebox.Name
renamingsJukebox.SMTLIB
RepJukebox.Form
rep 
1 (Function)Jukebox.UnionFind
2 (Function)Jukebox.Form
rep'Jukebox.Form
ReplacementJukebox.UnionFind
ReplyJukebox.TPTP.Parsec
repsJukebox.UnionFind
resJukebox.Form
ResultJukebox.TPTP.Parsec
rhsJukebox.Name
rhssJukebox.Tools.GuessModel
RParenJukebox.TPTP.Lexer
run 
1 (Function)Jukebox.TPTP.Parsec
2 (Function)Jukebox.Form
3 (Function)Jukebox.Tools.Clausify
runEJukebox.ExternalProvers.E
runNameMJukebox.Name
runParJukebox.Options
runParsecJukebox.TPTP.Parsec
runSatJukebox.Sat.Easy
runSat1Jukebox.Sat.Easy
runSat1_Jukebox.Sat.Easy
runSat_Jukebox.Sat.Easy
runSPASSJukebox.ExternalProvers.SPASS
runUFJukebox.UnionFind
run_ 
1 (Function)Jukebox.TPTP.Parsec
2 (Function)Jukebox.Form