jukebox-0.1.2: A first-order reasoning toolbox (Index - T)

jukebox-0.1.2: A first-order reasoning toolbox

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
1 (Function)	Jukebox.Provers.E
2 (Function)	Jukebox.Provers.SPASS
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