Contents
Index
jukebox-0.2.10: 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 - F
false
1 (Function)
Jukebox.Sat
2 (Function)
Jukebox.Form
3 (Function)
Jukebox.HighSat
false3
Jukebox.Sat3
FalseExtend
Jukebox.Monotonox.Monotonicity
FalseExtended
Jukebox.Monotonox.Monotonicity
fatalError
Jukebox.TPTP.Parsec
FiDomain
Jukebox.TPTP.Lexer
FiHypothesis
Jukebox.TPTP.Lexer
filenames
Jukebox.Options
findFile
Jukebox.TPTP.FindFile
findFileFlags
Jukebox.TPTP.FindFile
findFileTPTP
Jukebox.TPTP.FindFile
Finite
Jukebox.Form
FiPredicates
Jukebox.TPTP.Lexer
Fixed
Jukebox.Name
FixedName
Jukebox.Name
Flag
1 (Type/Class)
Jukebox.Options
2 (Data Constructor)
Jukebox.Options
flag
Jukebox.Options
flagArgs
Jukebox.Options
flagGroup
Jukebox.Options
flagHelp
Jukebox.Options
flagName
Jukebox.Options
flatten
Jukebox.HighSat
Fof
Jukebox.TPTP.Lexer
fof
Jukebox.TPTP.Parse.Core
Follows
1 (Data Constructor)
Jukebox.TPTP.Lexer
2 (Data Constructor)
Jukebox.Form
ForAll
1 (Data Constructor)
Jukebox.TPTP.Lexer
2 (Data Constructor)
Jukebox.Form
forAll
1 (Function)
Jukebox.Clausify
2 (Function)
Jukebox.Monotonox.ToFOF
ForAllLam
Jukebox.TPTP.Lexer
forAllOr
Jukebox.Clausify
force
Jukebox.Form
Form
1 (Data Constructor)
Jukebox.Form
2 (Type/Class)
Jukebox.Form
3 (Type/Class)
Jukebox.HighSat
form
Jukebox.TPTP.ParseSnippet
Formula
Jukebox.TPTP.Parse.Core
formula
Jukebox.TPTP.Parse.Core
FormulaLike
Jukebox.TPTP.Parse.Core
free
Jukebox.Form
fromFormula
Jukebox.TPTP.Parse.Core
fromModel
Jukebox.Monotonox.Monotonicity
fromThing
Jukebox.TPTP.Parse.Core
Fun
Jukebox.TPTP.Parse.Core
funArgs
Jukebox.Form
FunArrow
Jukebox.TPTP.Lexer
funcAxiom
Jukebox.Monotonox.ToFOF
Function
Jukebox.Form
function
Jukebox.GuessModel
Function'
Jukebox.InferTypes
functions
Jukebox.Form
FunType
1 (Type/Class)
Jukebox.Form
2 (Data Constructor)
Jukebox.Form