Index

.=.	Jukebox.Form
.=>.	Jukebox.Form
/\	Jukebox.Form
:::
1 (Type/Class)	Jukebox.Name
2 (Data Constructor)	Jukebox.Name
:=:	Jukebox.Form
:>	Jukebox.UnionFind
:@:	Jukebox.Form
<?>	Jukebox.TPTP.Parsec
=:=	Jukebox.UnionFind
=>>	Jukebox.Toolbox
=>>=	Jukebox.Toolbox
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
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	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
await	Jukebox.Options
Ax	Jukebox.Form
Axiom
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
axioms	Jukebox.Form
AxKind	Jukebox.Form
base	Jukebox.Name
Basic	Jukebox.Name
between	Jukebox.TPTP.Parsec
Binary	Jukebox.Form
Bind
1 (Type/Class)	Jukebox.Form
2 (Data Constructor)	Jukebox.Form
bind	Jukebox.Form
binder	Jukebox.TPTP.Parse.Core
Bind_	Jukebox.Form
binExpr	Jukebox.TPTP.Parse.Core
bool	Jukebox.Options
bottom3	Jukebox.Sat.ThreeValued
bracks	Jukebox.TPTP.Parse.Core
cases	Jukebox.Tools.GuessModel
cases1	Jukebox.Tools.GuessModel
check	Jukebox.Form
checkBinder	Jukebox.Form
Clause
1 (Type/Class)	Jukebox.Form
2 (Data Constructor)	Jukebox.Form
clause
1 (Function)	Jukebox.Form
2 (Function)	Jukebox.Tools.AnalyseMonotonicity
Clause_	Jukebox.Form
clausForm	Jukebox.Tools.Clausify
clausify	Jukebox.Tools.Clausify
clausifyBox	Jukebox.Toolbox
ClausifyFlags
1 (Type/Class)	Jukebox.Tools.Clausify
2 (Data Constructor)	Jukebox.Tools.Clausify
clausifyFlags	Jukebox.Tools.Clausify
closeForm	Jukebox.Form
CNF
1 (Type/Class)	Jukebox.Form
2 (Data Constructor)	Jukebox.Form
Cnf	Jukebox.TPTP.Lexer
cnf
1 (Function)	Jukebox.Tools.Clausify
2 (Function)	Jukebox.TPTP.Parse.Core
3 (Function)	Jukebox.TPTP.ParseSnippet
CNFRefutation	Jukebox.Form
CNF_	Jukebox.Form
collect	Jukebox.Form
Colon	Jukebox.TPTP.Lexer
Comma	Jukebox.TPTP.Lexer
comment	Jukebox.Toolbox
compareName	Jukebox.Name
compoundType	Jukebox.TPTP.Parse.Core
conflict	Jukebox.Sat
Conj	Jukebox.Form
Conjecture
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
conjectures	Jukebox.Form
ConjKind	Jukebox.Form
Connective
1 (Type/Class)	Jukebox.Form
2 (Data Constructor)	Jukebox.Form
connective	Jukebox.Form
Cons	Jukebox.TPTP.Lexer
Const	Jukebox.Form
consume	Jukebox.Options
Contents	Jukebox.TPTP.Lexer
CopyExtend	Jukebox.Tools.AnalyseMonotonicity
Cost	Jukebox.Tools.Clausify
counter	Jukebox.Sat.Equality
CounterSatisfiable	Jukebox.Form
cross	Jukebox.Tools.Clausify
cut	Jukebox.TPTP.Parsec
cut'	Jukebox.TPTP.Parsec
DDistinct	Jukebox.TPTP.Lexer
debugging	Jukebox.Form
defaultRenamer	Jukebox.Name
Defined
1 (Type/Class)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.TPTP.Lexer
defined
1 (Function)	Jukebox.TPTP.Lexer
2 (Function)	Jukebox.TPTP.Parse.Core
defined'	Jukebox.TPTP.Parse.Core
Definition
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
deleteSolver	Jukebox.Sat
DependentProduct	Jukebox.TPTP.Lexer
DependentSum	Jukebox.TPTP.Lexer
descr	Jukebox.Options
DFalse	Jukebox.TPTP.Lexer
DI	Jukebox.TPTP.Lexer
DistinctObject	Jukebox.TPTP.Lexer
DItef	Jukebox.TPTP.Lexer
DItet	Jukebox.TPTP.Lexer
DO	Jukebox.TPTP.Lexer
Dot	Jukebox.TPTP.Lexer
dropNonHorn	Jukebox.Tools.HornToUnit
DTrue	Jukebox.TPTP.Lexer
DTType	Jukebox.TPTP.Lexer
EFlags
1 (Type/Class)	Jukebox.ExternalProvers.E
2 (Data Constructor)	Jukebox.ExternalProvers.E
eflags	Jukebox.ExternalProvers.E
eliminateHornClauses	Jukebox.Tools.HornToUnit
eliminateMultiplePreconditions	Jukebox.Tools.HornToUnit
eliminatePredicates	Jukebox.Tools.HornToUnit
eliminateUnsuitableConjectures	Jukebox.Tools.HornToUnit
Elt
1 (Type/Class)	Jukebox.Sat.Equality
2 (Data Constructor)	Jukebox.Sat.Equality
encodeTypesSmartly	Jukebox.Tools.HornToUnit
Encoding	Jukebox.Tools.HornToUnit
encoding	Jukebox.Tools.HornToUnit
Eof	Jukebox.TPTP.Lexer
eof	Jukebox.TPTP.Parsec
eprover	Jukebox.ExternalProvers.E
Eq	Jukebox.TPTP.Lexer
EqSolver	Jukebox.Sat.Equality
equal	Jukebox.Sat.Equality
equals	Jukebox.Tools.EncodeTypes
Equiv	Jukebox.Form
eraseTypes	Jukebox.Form
Error
1 (Type/Class)	Jukebox.Options
2 (Data Constructor)	Jukebox.Options
3 (Data Constructor)	Jukebox.TPTP.Lexer
4 (Data Constructor)	Jukebox.TPTP.Parsec
evalUF	Jukebox.UnionFind
execUF	Jukebox.UnionFind
Exists
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
exists	Jukebox.Tools.EncodeTypes
ExistsLam	Jukebox.TPTP.Lexer
Expected	Jukebox.TPTP.Parsec
expected	Jukebox.TPTP.Parsec
expert	Jukebox.Options
ExpertMode	Jukebox.Options
explainAnswer	Jukebox.Form
Extension	Jukebox.Tools.AnalyseMonotonicity
extension	Jukebox.Tools.AnalyseMonotonicity
extractAnswer
1 (Function)	Jukebox.ExternalProvers.SPASS
2 (Function)	Jukebox.ExternalProvers.E
false
1 (Function)	Jukebox.Sat
2 (Function)	Jukebox.Form
3 (Function)	Jukebox.Sat.Easy
false3	Jukebox.Sat.ThreeValued
FalseExtend	Jukebox.Tools.AnalyseMonotonicity
FalseExtended	Jukebox.Tools.AnalyseMonotonicity
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
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
flagExpert	Jukebox.Options
flagGroup	Jukebox.Options
flagHelp	Jukebox.Options
FlagMode	Jukebox.Options
flagMode	Jukebox.Options
flagName	Jukebox.Options
flatten	Jukebox.Sat.Easy
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.Tools.Clausify
2 (Function)	Jukebox.Tools.EncodeTypes
forAllConjectures	Jukebox.Toolbox
forAllConjecturesBox	Jukebox.Toolbox
forAllFiles	Jukebox.Toolbox
forAllFilesBox	Jukebox.Toolbox
ForAllLam	Jukebox.TPTP.Lexer
forAllOr	Jukebox.Tools.Clausify
force	Jukebox.Form
Form
1 (Data Constructor)	Jukebox.Form
2 (Type/Class)	Jukebox.Form
3 (Type/Class)	Jukebox.Sat.Easy
form	Jukebox.TPTP.ParseSnippet
Formula	Jukebox.TPTP.Parse.Core
formula	Jukebox.TPTP.Parse.Core
FormulaLike	Jukebox.TPTP.Parse.Core
free	Jukebox.Form
FromFile	Jukebox.Form
fromFormula	Jukebox.TPTP.Parse.Core
fromModel	Jukebox.Tools.AnalyseMonotonicity
fromThing	Jukebox.TPTP.Parse.Core
Fun	Jukebox.TPTP.Parse.Core
funArgs	Jukebox.Form
FunArrow	Jukebox.TPTP.Lexer
funcAxiom	Jukebox.Tools.EncodeTypes
Function	Jukebox.Form
function	Jukebox.Tools.GuessModel
Function'	Jukebox.Tools.InferTypes
functions	Jukebox.Form
funOcc	Jukebox.Form
funsOcc	Jukebox.Form
FunType
1 (Type/Class)	Jukebox.Form
2 (Data Constructor)	Jukebox.Form
GaveUp	Jukebox.Form
generate	Jukebox.Tools.InferTypes
getName	Jukebox.Tools.Clausify
getPosition	Jukebox.TPTP.Parsec
getSolver	Jukebox.Sat
getSolverEq	Jukebox.Sat.Equality
getState	Jukebox.TPTP.Parsec
getTPTPDirs	Jukebox.TPTP.FindFile
GlobalFlags
1 (Type/Class)	Jukebox.Toolbox
2 (Data Constructor)	Jukebox.Toolbox
globalFlags	Jukebox.Toolbox
ground	Jukebox.Form
guard	Jukebox.Tools.EncodeTypes
guards
1 (Function)	Jukebox.Tools.EncodeTypes
2 (Function)	Jukebox.Tools.AnalyseMonotonicity
guards1	Jukebox.Tools.EncodeTypes
guardsAxiom	Jukebox.Tools.EncodeTypes
guardsTypeAxiom	Jukebox.Tools.EncodeTypes
guessModel	Jukebox.Tools.GuessModel
guessModelBox	Jukebox.Toolbox
hasLabel	Jukebox.Name
hasSizeOneModel	Jukebox.Tools.HornToUnit
help	Jukebox.Options
helpText	Jukebox.Options
hidden	Jukebox.Options
HiddenMode	Jukebox.Options
HornFlags
1 (Type/Class)	Jukebox.Tools.HornToUnit
2 (Data Constructor)	Jukebox.Tools.HornToUnit
hornFlags	Jukebox.Tools.HornToUnit
hornToUnit	Jukebox.Tools.HornToUnit
hornToUnitBox	Jukebox.Toolbox
hornToUnitIO	Jukebox.Toolbox
Hypothesis
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
ids	Jukebox.Form
Iff	Jukebox.TPTP.Lexer
Implies
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
Include
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.TPTP.Parse.Core
include	Jukebox.TPTP.Parse.Core
IncludeStatement	Jukebox.TPTP.Parse.Core
ind	Jukebox.Tools.GuessModel
indent	Jukebox.Toolbox
indType	Jukebox.Form
inferBox	Jukebox.Toolbox
Inference	Jukebox.Form
inferTypes	Jukebox.Tools.InferTypes
inGroup	Jukebox.Options
initial	Jukebox.UnionFind
initialState	Jukebox.TPTP.Parse.Core
initialStateFrom	Jukebox.TPTP.Parse.Core
Input
1 (Type/Class)	Jukebox.Form
2 (Data Constructor)	Jukebox.Form
input	Jukebox.TPTP.Parse.Core
InputSource	Jukebox.Form
Input_	Jukebox.Form
Integer	Jukebox.Name
intType	Jukebox.Form
io	Jukebox.Options
isFalse
1 (Function)	Jukebox.Sat.ThreeValued
2 (Function)	Jukebox.Form
isFof	Jukebox.Form
isRep	Jukebox.UnionFind
isTrue
1 (Function)	Jukebox.Sat.ThreeValued
2 (Function)	Jukebox.Form
justify	Jukebox.Options
Keyword	Jukebox.TPTP.Lexer
keyword
1 (Function)	Jukebox.TPTP.Lexer
2 (Function)	Jukebox.TPTP.Parse.Core
keyword'	Jukebox.TPTP.Parse.Core
keywords	Jukebox.SMTLIB
Kind	Jukebox.Form
kind
1 (Function)	Jukebox.TPTP.Lexer
2 (Function)	Jukebox.Form
3 (Function)	Jukebox.TPTP.Parse.Core
label	Jukebox.Name
Lambda	Jukebox.TPTP.Lexer
LBrack	Jukebox.TPTP.Lexer
leaf	Jukebox.TPTP.Parse.Core
Lemma
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
Let	Jukebox.TPTP.Lexer
LetTerm	Jukebox.TPTP.Lexer
lhs	Jukebox.Name
List	Jukebox.Form
Lit
1 (Type/Class)	Jukebox.Sat
2 (Data Constructor)	Jukebox.Sat.Easy
lit	Jukebox.Sat.Easy
Lit3
1 (Type/Class)	Jukebox.Sat.ThreeValued
2 (Data Constructor)	Jukebox.Sat.ThreeValued
Literal
1 (Data Constructor)	Jukebox.Form
2 (Type/Class)	Jukebox.Form
literal
1 (Function)	Jukebox.Tools.Clausify
2 (Function)	Jukebox.TPTP.Parse.Core
3 (Function)	Jukebox.Tools.AnalyseMonotonicity
localMin	Jukebox.Sat.Minimise
Location
1 (Type/Class)	Jukebox.TPTP.Parse.Core
2 (Data Constructor)	Jukebox.TPTP.Parse.Core
lookupFunction	Jukebox.TPTP.Parse.Core
lookupType	Jukebox.TPTP.Parse.Core
LParen	Jukebox.TPTP.Lexer
M	Jukebox.Tools.Clausify
makeCopyable	Jukebox.Tools.Clausify
makeFunction	Jukebox.Tools.EncodeTypes
makeLocation	Jukebox.TPTP.Parse.Core
makeOr	Jukebox.Tools.Clausify
mangleAnswer	Jukebox.ExternalProvers.E
manyFlags	Jukebox.Options
mapName	Jukebox.Form
mapType	Jukebox.Form
memory	Jukebox.ExternalProvers.E
merge	Jukebox.Utils
miniscope	Jukebox.Tools.Clausify
Mistake	Jukebox.Options
MkState	Jukebox.TPTP.Parse.Core
Mode	Jukebox.TPTP.Parse.Core
Model	Jukebox.Form
model
1 (Function)	Jukebox.Sat.Equality
2 (Function)	Jukebox.Sat.Easy
modelRep	Jukebox.Sat.Equality
modelValue
1 (Function)	Jukebox.Sat
2 (Function)	Jukebox.Sat.Easy
modelValue3	Jukebox.Sat.ThreeValued
monotone	Jukebox.Tools.AnalyseMonotonicity
multi	Jukebox.Tools.HornToUnit
naked	Jukebox.Tools.EncodeTypes
Name	Jukebox.Name
name	Jukebox.Name
Named	Jukebox.Name
NameM
1 (Type/Class)	Jukebox.Name
2 (Data Constructor)	Jukebox.Name
names	Jukebox.Form
Nand
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
Neg	Jukebox.Form
neg
1 (Function)	Jukebox.Sat
2 (Function)	Jukebox.Form
neg3	Jukebox.Sat.ThreeValued
NegatedConjecture
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
Neq	Jukebox.TPTP.Lexer
newElt	Jukebox.Sat.Equality
newFormula	Jukebox.TPTP.Parse.Core
newFunction
1 (Function)	Jukebox.Form
2 (Function)	Jukebox.TPTP.Parse.Core
newLit	Jukebox.Sat
newLit2	Jukebox.Sat.ThreeValued
newLit3	Jukebox.Sat.ThreeValued
newName	Jukebox.Name
newSolver	Jukebox.Sat
newSolverEq	Jukebox.Sat.Equality
newSymbol	Jukebox.Form
newType	Jukebox.Form
next	Jukebox.TPTP.Parsec
No	Jukebox.Options
NoAnswer	Jukebox.Form
NoAnswerReason	Jukebox.Form
nonempty	Jukebox.TPTP.Parsec
NoQuantification	Jukebox.TPTP.Parse.Core
Nor
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
Normal	Jukebox.TPTP.Lexer
NormalMode	Jukebox.Options
normAtomic	Jukebox.Form
Not
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
notInwards	Jukebox.Form
nt
1 (Function)	Jukebox.Form
2 (Function)	Jukebox.Sat.Easy
Number	Jukebox.TPTP.Lexer
number	Jukebox.TPTP.Parse.Core
O	Jukebox.Form
Ok	Jukebox.TPTP.Parsec
oneConjecture	Jukebox.Toolbox
oneConjectureBox	Jukebox.Toolbox
OptionParser	Jukebox.Options
Or
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
3 (Data Constructor)	Jukebox.Sat.Easy
orCost	Jukebox.Tools.Clausify
Overloaded	Jukebox.Name
parens	Jukebox.TPTP.Parse.Core
ParParser
1 (Type/Class)	Jukebox.Options
2 (Data Constructor)	Jukebox.Options
Parsec
1 (Type/Class)	Jukebox.TPTP.Parsec
2 (Data Constructor)	Jukebox.TPTP.Parsec
parseCommandLine	Jukebox.Options
parseCommandLineWithArgs	Jukebox.Options
parseCommandLineWithExtraArgs	Jukebox.Options
ParsecState	Jukebox.TPTP.Parse.Core
parseError	Jukebox.TPTP.Parsec
ParseFailed	Jukebox.TPTP.Parse.Core
parseProblem
1 (Function)	Jukebox.TPTP.Parse.Core
2 (Function)	Jukebox.TPTP.Parse
parseProblemFrom	Jukebox.TPTP.Parse.Core
parseProblemWith	Jukebox.TPTP.Parse
Parser	Jukebox.TPTP.Parse.Core
parser
1 (Function)	Jukebox.Options
2 (Function)	Jukebox.TPTP.Parse.Core
ParseResult
1 (Type/Class)	Jukebox.Options
2 (Type/Class)	Jukebox.TPTP.Parse.Core
ParseStalled	Jukebox.TPTP.Parse.Core
ParseState	Jukebox.TPTP.Parse.Core
parseString	Jukebox.TPTP.Parse
ParseSucceeded	Jukebox.TPTP.Parse.Core
passivise	Jukebox.Tools.HornToUnit
Peano	Jukebox.Tools.GuessModel
peano	Jukebox.Tools.GuessModel
peek	Jukebox.Options
Plain	Jukebox.TPTP.Lexer
Plus	Jukebox.TPTP.Lexer
popen	Jukebox.Utils
Pos
1 (Type/Class)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.TPTP.Lexer
3 (Data Constructor)	Jukebox.Form
pos	Jukebox.Form
Position	Jukebox.TPTP.Parsec
position	Jukebox.TPTP.Parsec
positive	Jukebox.Form
pPrintAtomic	Jukebox.SMTLIB
pPrintClauses	Jukebox.TPTP.Print
pPrintDecls	Jukebox.SMTLIB
pPrintForm	Jukebox.SMTLIB
pPrintInput	Jukebox.SMTLIB
pPrintName	Jukebox.SMTLIB
pPrintProblem
1 (Function)	Jukebox.TPTP.Print
2 (Function)	Jukebox.SMTLIB
pPrintProof	Jukebox.TPTP.Print
pPrintQuant	Jukebox.SMTLIB
pPrintTerm	Jukebox.SMTLIB
pPrintType	Jukebox.SMTLIB
prettyNames	Jukebox.TPTP.Print
prettyPrintIO	Jukebox.Toolbox
prettyShow	Jukebox.TPTP.Print
primFlag	Jukebox.Options
primToken	Jukebox.TPTP.Parsec
printClausesBox	Jukebox.Toolbox
printError	Jukebox.Options
printHelp	Jukebox.Options
printInferredBox	Jukebox.Toolbox
printProblemBox	Jukebox.Toolbox
printProblemSMTBox	Jukebox.Toolbox
Problem	Jukebox.Form
Prod	Jukebox.TPTP.Parse.Core
prod	Jukebox.TPTP.Parse.Core
Punct
1 (Type/Class)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.TPTP.Lexer
punct	Jukebox.TPTP.Parse.Core
punct'	Jukebox.TPTP.Parse.Core
putState	Jukebox.TPTP.Parsec
quantified	Jukebox.TPTP.Parse.Core
Question
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
quiet	Jukebox.Toolbox
quietly	Jukebox.Toolbox
Rational
1 (Data Constructor)	Jukebox.Name
2 (Data Constructor)	Jukebox.TPTP.Lexer
ratNumber	Jukebox.TPTP.Parse.Core
ratType	Jukebox.Form
ratValue	Jukebox.TPTP.Lexer
RBrack	Jukebox.TPTP.Lexer
readProblem	Jukebox.Toolbox
readProblemBox	Jukebox.Toolbox
Real
1 (Data Constructor)	Jukebox.Name
2 (Data Constructor)	Jukebox.TPTP.Lexer
realNumber	Jukebox.TPTP.Parse.Core
realType	Jukebox.Form
recursively	Jukebox.Form
recursivelyM	Jukebox.Form
removeEquiv	Jukebox.Tools.Clausify
removeEquivAux	Jukebox.Tools.Clausify
removeExists	Jukebox.Tools.Clausify
removeExpensiveOr	Jukebox.Tools.Clausify
removeExpensiveOrAux	Jukebox.Tools.Clausify
renameAvoidingKeywords	Jukebox.SMTLIB
Renamer	Jukebox.Name
renamer	Jukebox.Name
renameTPTP	Jukebox.SMTLIB
Renaming
1 (Type/Class)	Jukebox.Name
2 (Data Constructor)	Jukebox.Name
renamings	Jukebox.SMTLIB
Rep	Jukebox.Form
rep
1 (Function)	Jukebox.UnionFind
2 (Function)	Jukebox.Form
rep'	Jukebox.Form
Replacement	Jukebox.UnionFind
Reply	Jukebox.TPTP.Parsec
reps	Jukebox.UnionFind
res	Jukebox.Form
Result	Jukebox.TPTP.Parsec
rhs	Jukebox.Name
rhss	Jukebox.Tools.GuessModel
RParen	Jukebox.TPTP.Lexer
run
1 (Function)	Jukebox.TPTP.Parsec
2 (Function)	Jukebox.Form
3 (Function)	Jukebox.Tools.Clausify
runE	Jukebox.ExternalProvers.E
runNameM	Jukebox.Name
runPar	Jukebox.Options
runParsec	Jukebox.TPTP.Parsec
runSat	Jukebox.Sat.Easy
runSat1	Jukebox.Sat.Easy
runSat1_	Jukebox.Sat.Easy
runSat_	Jukebox.Sat.Easy
runSPASS	Jukebox.ExternalProvers.SPASS
runUF	Jukebox.UnionFind
run_
1 (Function)	Jukebox.TPTP.Parsec
2 (Function)	Jukebox.Form
S	Jukebox.UnionFind
safe	Jukebox.Tools.AnalyseMonotonicity
Sat
1 (Data Constructor)	Jukebox.Form
2 (Type/Class)	Jukebox.Sat.Easy
3 (Data Constructor)	Jukebox.Sat.Easy
Sat1
1 (Type/Class)	Jukebox.Sat.Easy
2 (Data Constructor)	Jukebox.Sat.Easy
Satisfiable	Jukebox.Form
satisfiable	Jukebox.Form
satisfy	Jukebox.TPTP.Parsec
SatReason	Jukebox.Form
SatSolver	Jukebox.Sat
satSolver	Jukebox.Sat.Equality
SatState
1 (Type/Class)	Jukebox.Sat.Easy
2 (Data Constructor)	Jukebox.Sat.Easy
scan	Jukebox.TPTP.Lexer
Scheme
1 (Type/Class)	Jukebox.Tools.EncodeTypes
2 (Data Constructor)	Jukebox.Tools.EncodeTypes
Scheme1
1 (Type/Class)	Jukebox.Tools.EncodeTypes
2 (Data Constructor)	Jukebox.Tools.EncodeTypes
scheme1	Jukebox.Tools.EncodeTypes
schemeBox	Jukebox.Toolbox
section	Jukebox.TPTP.Parse.Core
sepBy1	Jukebox.TPTP.Parsec
SeqParser
1 (Type/Class)	Jukebox.Options
2 (Data Constructor)	Jukebox.Options
SequentArrow	Jukebox.TPTP.Lexer
sexp	Jukebox.SMTLIB
showClauses	Jukebox.TPTP.Print
showMonotonicityBox	Jukebox.Toolbox
showProblem
1 (Function)	Jukebox.TPTP.Print
2 (Function)	Jukebox.SMTLIB
showTypes	Jukebox.TPTP.Parse.Core
Signed
1 (Data Constructor)	Jukebox.Form
2 (Type/Class)	Jukebox.Form
signForm	Jukebox.Form
simple	Jukebox.Form
simplify	Jukebox.Form
simplifyCNF	Jukebox.Tools.Clausify
size	Jukebox.Form
skipMany	Jukebox.TPTP.Parsec
skipSome	Jukebox.TPTP.Parsec
skolem	Jukebox.Tools.Clausify
skolemName	Jukebox.Tools.Clausify
smaller	Jukebox.Tools.HornToUnit
solve
1 (Function)	Jukebox.Sat
2 (Function)	Jukebox.Tools.InferTypes
3 (Function)	Jukebox.Sat.Easy
solveEq	Jukebox.Sat.Equality
solveLocalMin	Jukebox.Sat.Minimise
Solver
1 (Type/Class)	Jukebox.Sat
2 (Type/Class)	Jukebox.Toolbox
SolverEq
1 (Type/Class)	Jukebox.Sat.Equality
2 (Data Constructor)	Jukebox.Sat.Equality
Some	Jukebox.TPTP.Lexer
sos	Jukebox.ExternalProvers.SPASS
source	Jukebox.Form
spass	Jukebox.ExternalProvers.SPASS
SPASSFlags
1 (Type/Class)	Jukebox.ExternalProvers.SPASS
2 (Data Constructor)	Jukebox.ExternalProvers.SPASS
spassFlags	Jukebox.ExternalProvers.SPASS
split	Jukebox.Tools.Clausify
splitting	Jukebox.Tools.Clausify
Stream	Jukebox.TPTP.Parsec
Subst	Jukebox.Form
subst	Jukebox.Form
Subtype	Jukebox.TPTP.Lexer
Symbolic	Jukebox.Form
Symmetric	Jukebox.Tools.HornToUnit
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.TPTP.Lexer
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
UF	Jukebox.UnionFind
Unary	Jukebox.Form
Unique	Jukebox.Name
unique	Jukebox.Sat.Easy
uniqueNames	Jukebox.Form
unitary	Jukebox.TPTP.Parse.Core
unitCost	Jukebox.Tools.Clausify
Universe	Jukebox.Tools.GuessModel
universe	Jukebox.Tools.GuessModel
Unknown
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
unNameM	Jukebox.Name
Unpack	Jukebox.Form
Unsat	Jukebox.Form
Unsatisfiable	Jukebox.Form
unsatisfiable	Jukebox.Form
UnsatReason	Jukebox.Form
Untyped	Jukebox.TPTP.Parse.Core
unvariant	Jukebox.Name
Usage	Jukebox.Options
usageText	Jukebox.Options
UserState
1 (Type/Class)	Jukebox.TPTP.Parsec
2 (Data Constructor)	Jukebox.TPTP.Parsec
userState	Jukebox.TPTP.Parsec
userStream	Jukebox.TPTP.Parsec
usort	Jukebox.Utils
val	Jukebox.Options
val3	Jukebox.Sat.ThreeValued
value
1 (Function)	Jukebox.Sat
2 (Function)	Jukebox.TPTP.Lexer
value3	Jukebox.Sat.ThreeValued
Var
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
3 (Type/Class)	Jukebox.Tools.AnalyseMonotonicity
var
1 (Function)	Jukebox.TPTP.Parse.Core
2 (Function)	Jukebox.Sat.Easy
Variable	Jukebox.Form
variable	Jukebox.TPTP.Parse.Core
Variant	Jukebox.Name
variant	Jukebox.Name
vars	Jukebox.Form
version	Jukebox.Options
Watch	Jukebox.Sat.Easy
what	Jukebox.Form
withLabel	Jukebox.Name
withMaybeLabel	Jukebox.Name
withName	Jukebox.Tools.Clausify
withRenamer	Jukebox.Name
writeFileBox	Jukebox.Toolbox
Xor
1 (Data Constructor)	Jukebox.TPTP.Lexer
2 (Data Constructor)	Jukebox.Form
Yes	Jukebox.Options
\/	Jukebox.Form
\|+\|	Jukebox.Form
\|=>	Jukebox.Form