jukebox-0.4.2: A first-order reasoning toolbox

Index - A

addClauseJukebox.Sat
addFormJukebox.Sat.Easy
allNamesJukebox.Name
allowCompoundConjecturesJukebox.Tools.HornToUnit
allowConjunctiveConjecturesJukebox.Tools.HornToUnit
allowDisjunctiveConjecturesJukebox.Tools.HornToUnit
allowNonGroundConjecturesJukebox.Tools.HornToUnit
analyseMonotonicityJukebox.Tools.AnalyseMonotonicity
analyseMonotonicityBoxJukebox.Toolbox
And 
1 (Data Constructor)Jukebox.TPTP.Lexer
2 (Data Constructor)Jukebox.Form
3 (Data Constructor)Jukebox.Sat.Easy
andCostJukebox.Tools.Clausify
Annotated 
1 (Type/Class)Jukebox.Options
2 (Data Constructor)Jukebox.Options
AnswerJukebox.Form
answerJustificationJukebox.Form
answerSZSJukebox.Form
Apply 
1 (Data Constructor)Jukebox.TPTP.Lexer
2 (Data Constructor)Jukebox.TPTP.Parse.Core
applyFunctionJukebox.TPTP.Parse.Core
argJukebox.Options
argFileJukebox.Options
argFilesJukebox.Options
argListJukebox.Options
argNameJukebox.Options
argNumJukebox.Options
argNumsJukebox.Options
argOptionJukebox.Options
argOptionWithJukebox.Options
ArgParserJukebox.Options
args 
1 (Function)Jukebox.Options
2 (Function)Jukebox.Form
argUsageJukebox.Options
arityJukebox.Form
arrowJukebox.TPTP.Parse.Core
Assumption 
1 (Data Constructor)Jukebox.TPTP.Lexer
2 (Data Constructor)Jukebox.Form
Asymmetric1Jukebox.Tools.HornToUnit
Asymmetric2Jukebox.Tools.HornToUnit
Asymmetric3Jukebox.Tools.HornToUnit
AtJukebox.TPTP.Lexer
atIndexJukebox.Sat.Easy
AtomJukebox.TPTP.Lexer
atomJukebox.TPTP.Parse.Core
Atomic 
1 (Data Constructor)Jukebox.Form
2 (Type/Class)Jukebox.Form
awaitJukebox.Options
AxJukebox.Form
Axiom 
1 (Data Constructor)Jukebox.TPTP.Lexer
2 (Data Constructor)Jukebox.Form
axiomsJukebox.Form
AxKindJukebox.Form