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

jukebox-0.5: A first-order reasoning toolbox

Index - T

table	Jukebox.Sat.Equality
Tag	Jukebox.Form
tag
1 (Function)	Jukebox.Form
2 (Function)	Jukebox.TPTP.Parse.Core
tags	Jukebox.Tools.EncodeTypes
tags1	Jukebox.Tools.EncodeTypes
tagsAxiom	Jukebox.Tools.EncodeTypes
tagsExists	Jukebox.Tools.EncodeTypes
tagsFlags	Jukebox.Tools.EncodeTypes
Tcf	Jukebox.TPTP.Lexer
Term
1 (Data Constructor)	Jukebox.Form
2 (Type/Class)	Jukebox.Form
3 (Data Constructor)	Jukebox.TPTP.Parse.Core
term	Jukebox.TPTP.Parse.Core
TermLike	Jukebox.TPTP.Parse.Core
terms	Jukebox.Form
termsAndBinders	Jukebox.Form
testParser	Jukebox.TPTP.Parse.Core
Tff	Jukebox.TPTP.Lexer
tff
1 (Function)	Jukebox.TPTP.Parse.Core
2 (Function)	Jukebox.TPTP.ParseSnippet
the	Jukebox.Form
Theorem
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
TheoremKind	Jukebox.Form
Thf	Jukebox.TPTP.Lexer
Thing	Jukebox.TPTP.Parse.Core
Timeout	Jukebox.Form
timeout
1 (Function)	Jukebox.ExternalProvers.SPASS
2 (Function)	Jukebox.ExternalProvers.E
Times	Jukebox.TPTP.Lexer
tname	Jukebox.Form
toClause	Jukebox.Form
toCNF	Jukebox.Form
toFof	Jukebox.Toolbox
toFofBox	Jukebox.Toolbox
toForm	Jukebox.Form
toFormulasBox	Jukebox.Toolbox
Token	Jukebox.TPTP.Lexer
tokenName	Jukebox.TPTP.Lexer
TokenStream	Jukebox.TPTP.Lexer
toLiterals	Jukebox.Form
translate	Jukebox.Tools.EncodeTypes
translate1	Jukebox.Tools.EncodeTypes
Trees	Jukebox.Tools.GuessModel
trees	Jukebox.Tools.GuessModel
Tru	Jukebox.Form
true
1 (Function)	Jukebox.Sat
2 (Function)	Jukebox.Form
3 (Function)	Jukebox.Sat.Easy
true3	Jukebox.Sat.ThreeValued
TrueExtend	Jukebox.Tools.AnalyseMonotonicity
TrueExtended	Jukebox.Tools.AnalyseMonotonicity
tstp	Jukebox.Toolbox
TSTPFlags
1 (Type/Class)	Jukebox.Toolbox
2 (Data Constructor)	Jukebox.Toolbox
tstpFlags	Jukebox.Toolbox
TType	Jukebox.TPTP.Parse.Core
typ	Jukebox.Form
Type
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Type/Class)	Jukebox.Form
3 (Data Constructor)	Jukebox.Form
typeAxiom	Jukebox.Tools.EncodeTypes
Typed
1 (Type/Class)	Jukebox.Form
2 (Data Constructor)	Jukebox.TPTP.Parse.Core
typeDeclaration	Jukebox.TPTP.Parse.Core
typeError	Jukebox.TPTP.Parse.Core
typeMaybeName	Jukebox.Form
TypeOf	Jukebox.Form
typeOf	Jukebox.Form
types	Jukebox.Form
types'	Jukebox.Form
Type_	Jukebox.TPTP.Parse.Core
type_	Jukebox.TPTP.Parse.Core