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

jukebox-0.5.2: A first-order reasoning toolbox

Index - A

addClause	Jukebox.Sat
addForm	Jukebox.Sat.Easy
allNames	Jukebox.Name
allowCompoundConjectures	Jukebox.Tools.HornToUnit
allowConjunctiveConjectures	Jukebox.Tools.HornToUnit
allowDisjunctiveConjectures	Jukebox.Tools.HornToUnit
allowNonGroundConjectures	Jukebox.Tools.HornToUnit
analyseMonotonicity	Jukebox.Tools.AnalyseMonotonicity
analyseMonotonicityBox	Jukebox.Toolbox
And
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
3 (Data Constructor)	Jukebox.Sat.Easy
andCost	Jukebox.Tools.Clausify
Annotated
1 (Type/Class)	Jukebox.Options
2 (Data Constructor)	Jukebox.Options
Answer	Jukebox.Form
answerJustification	Jukebox.Form
answerSZS	Jukebox.Form
Apply	Jukebox.TPTP.Parse.Core
applyFunction	Jukebox.TPTP.Parse.Core
arg	Jukebox.Options
argFile	Jukebox.Options
argFiles	Jukebox.Options
argList	Jukebox.Options
argName	Jukebox.Options
argNum	Jukebox.Options
argNums	Jukebox.Options
argOption	Jukebox.Options
argOptionWith	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
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
Asymmetric1	Jukebox.Tools.HornToUnit
Asymmetric2	Jukebox.Tools.HornToUnit
Asymmetric3	Jukebox.Tools.HornToUnit
At	Jukebox.TPTP.Lexer
atIndex	Jukebox.Sat.Easy
Atom	Jukebox.TPTP.Lexer
atom	Jukebox.TPTP.Parse.Core
Atomic
1 (Data Constructor)	Jukebox.Form
2 (Type/Class)	Jukebox.Form
atomic	Jukebox.TPTP.Parse.Core
await	Jukebox.Options
Ax	Jukebox.Form
Axiom
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
axioms	Jukebox.Form
AxKind	Jukebox.Form