Contents
Index
jukebox-0.1: 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 - T
table
Jukebox.SatEq
Tag
Jukebox.Form
tag
1 (Function)
Jukebox.Form
2 (Function)
Jukebox.TPTP.ClauseParser
tags
Jukebox.Monotonox.ToFOF
tags1
Jukebox.Monotonox.ToFOF
tagsAxiom
Jukebox.Monotonox.ToFOF
tagsExists
Jukebox.Monotonox.ToFOF
tagsFlags
Jukebox.Monotonox.ToFOF
Term
1 (Data Constructor)
Jukebox.Form
2 (Type/Class)
Jukebox.Form
3 (Data Constructor)
Jukebox.TPTP.ClauseParser
term
Jukebox.TPTP.ClauseParser
TermLike
Jukebox.TPTP.ClauseParser
terms
Jukebox.Form
termsAndBinders
Jukebox.Form
testParser
Jukebox.TPTP.ClauseParser
Tff
Jukebox.TPTP.Lexer
tff
1 (Function)
Jukebox.TPTP.ClauseParser
2 (Function)
Jukebox.TPTP.ParseSnippet
The
Jukebox.TPTP.Lexer
the
Jukebox.Form
Theorem
Jukebox.TPTP.Lexer
Thf
Jukebox.TPTP.Lexer
Thing
Jukebox.TPTP.ClauseParser
tick
Jukebox.ProgressBar
tickOnRead
Jukebox.ProgressBar
Timeout
Jukebox.Form
timeout
Jukebox.Provers.E
Times
Jukebox.TPTP.Lexer
tmonotone
Jukebox.Form
tname
Jukebox.Form
toFofBox
Jukebox.Toolbox
toFofIO
Jukebox.Toolbox
toForm
Jukebox.Form
Token
Jukebox.TPTP.Lexer
TokenStream
Jukebox.TPTP.Lexer
toList
1 (Function)
Jukebox.Map
2 (Function)
Jukebox.Seq
3 (Function)
Jukebox.NameMap
toLiterals
Jukebox.Form
toObligs
Jukebox.Form
Tool
1 (Type/Class)
Jukebox.Options
2 (Data Constructor)
Jukebox.Options
tool
Jukebox.Options
toolHelp
Jukebox.Options
toolName
Jukebox.Options
ToolParser
Jukebox.Options
toolProgName
Jukebox.Options
toolVersion
Jukebox.Options
translate
Jukebox.Monotonox.ToFOF
translate1
Jukebox.Monotonox.ToFOF
Trees
Jukebox.GuessModel
trees
Jukebox.GuessModel
Tru
Jukebox.Form
true
1 (Function)
Jukebox.Sat
2 (Function)
Jukebox.Form
3 (Function)
Jukebox.HighSat
true3
Jukebox.Sat3
TrueExtend
Jukebox.Monotonox.Monotonicity
TrueExtended
Jukebox.Monotonox.Monotonicity
tsize
Jukebox.Form
TType
Jukebox.TPTP.ClauseParser
typ
Jukebox.Form
Type
1 (Data Constructor)
Jukebox.TPTP.Lexer
2 (Type/Class)
Jukebox.Form
3 (Data Constructor)
Jukebox.Form
Type'
Jukebox.InferTypes
typeAxiom
Jukebox.Monotonox.ToFOF
Typed
Jukebox.Form
typeDeclaration
Jukebox.TPTP.ClauseParser
typeError
Jukebox.TPTP.ClauseParser
typeMaybeName
Jukebox.Form
TypeOf
Jukebox.Form
typeOf
Jukebox.Form
types
Jukebox.Form
types'
Jukebox.Form
Type_
Jukebox.TPTP.ClauseParser
type_
Jukebox.TPTP.ClauseParser