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

jukebox-0.2.9: A first-order reasoning toolbox

Index - A

addClause	Jukebox.Sat
addForm	Jukebox.HighSat
allFiles	Jukebox.Toolbox
allFilesBox	Jukebox.Toolbox
allObligsBox	Jukebox.Toolbox
allObligsIO	Jukebox.Toolbox
And
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
3 (Data Constructor)	Jukebox.HighSat
andCost	Jukebox.Clausify
Annotated
1 (Type/Class)	Jukebox.Options
2 (Data Constructor)	Jukebox.Options
annotateMonotonicity	Jukebox.Monotonox.Monotonicity
annotateMonotonicityBox	Jukebox.Toolbox
Answer	Jukebox.Form
Apply
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.TPTP.Parse.Core
applyFunction	Jukebox.TPTP.Parse.Core
arg	Jukebox.Options
ArgDesc	Jukebox.Options
argError	Jukebox.Options
argFile	Jukebox.Options
argFiles	Jukebox.Options
argList	Jukebox.Options
argName	Jukebox.Options
argNum	Jukebox.Options
argNums	Jukebox.Options
argOption	Jukebox.Options
ArgParser	Jukebox.Options
args
1 (Function)	Jukebox.Options
2 (Function)	Jukebox.Form
argUsage	Jukebox.Options
arity	Jukebox.Form
arrow	Jukebox.TPTP.Parse.Core
Assumption	Jukebox.TPTP.Lexer
At	Jukebox.TPTP.Lexer
atIndex	Jukebox.HighSat
Atom	Jukebox.TPTP.Lexer
atom	Jukebox.TPTP.Parse.Core
Atomic
1 (Data Constructor)	Jukebox.Form
2 (Type/Class)	Jukebox.Form
await	Jukebox.Options
awaitP	Jukebox.Options
Axiom
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
axioms	Jukebox.Form