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

jukebox-0.4.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
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	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
await	Jukebox.Options
Ax	Jukebox.Form
Axiom
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
axioms	Jukebox.Form
AxKind	Jukebox.Form