Contents
Index
jukebox-0.5.2: A first-order reasoning toolbox
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
:
.
/
<
=
\
|
All
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