jukebox-0.4.2: A first-order reasoning toolbox

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
addClauseJukebox.Sat
addFormJukebox.Sat.Easy
allNamesJukebox.Name
allowCompoundConjecturesJukebox.Tools.HornToUnit
allowConjunctiveConjecturesJukebox.Tools.HornToUnit
allowDisjunctiveConjecturesJukebox.Tools.HornToUnit
allowNonGroundConjecturesJukebox.Tools.HornToUnit
analyseMonotonicityJukebox.Tools.AnalyseMonotonicity
analyseMonotonicityBoxJukebox.Toolbox
And 
1 (Data Constructor)Jukebox.TPTP.Lexer
2 (Data Constructor)Jukebox.Form
3 (Data Constructor)Jukebox.Sat.Easy
andCostJukebox.Tools.Clausify
Annotated 
1 (Type/Class)Jukebox.Options
2 (Data Constructor)Jukebox.Options
AnswerJukebox.Form
answerJustificationJukebox.Form
answerSZSJukebox.Form
Apply 
1 (Data Constructor)Jukebox.TPTP.Lexer
2 (Data Constructor)Jukebox.TPTP.Parse.Core
applyFunctionJukebox.TPTP.Parse.Core
argJukebox.Options
argFileJukebox.Options
argFilesJukebox.Options
argListJukebox.Options
argNameJukebox.Options
argNumJukebox.Options
argNumsJukebox.Options
argOptionJukebox.Options
argOptionWithJukebox.Options
ArgParserJukebox.Options
args 
1 (Function)Jukebox.Options
2 (Function)Jukebox.Form
argUsageJukebox.Options
arityJukebox.Form
arrowJukebox.TPTP.Parse.Core
Assumption 
1 (Data Constructor)Jukebox.TPTP.Lexer
2 (Data Constructor)Jukebox.Form
Asymmetric1Jukebox.Tools.HornToUnit
Asymmetric2Jukebox.Tools.HornToUnit
Asymmetric3Jukebox.Tools.HornToUnit
AtJukebox.TPTP.Lexer
atIndexJukebox.Sat.Easy
AtomJukebox.TPTP.Lexer
atomJukebox.TPTP.Parse.Core
Atomic 
1 (Data Constructor)Jukebox.Form
2 (Type/Class)Jukebox.Form
awaitJukebox.Options
AxJukebox.Form
Axiom 
1 (Data Constructor)Jukebox.TPTP.Lexer
2 (Data Constructor)Jukebox.Form
axiomsJukebox.Form
AxKindJukebox.Form
baseJukebox.Name
BasicJukebox.Name
betweenJukebox.TPTP.Parsec
BinaryJukebox.Form
Bind 
1 (Type/Class)Jukebox.Form
2 (Data Constructor)Jukebox.Form
bindJukebox.Form
binderJukebox.TPTP.Parse.Core
Bind_Jukebox.Form
binExprJukebox.TPTP.Parse.Core
boolJukebox.Options
bottom3Jukebox.Sat.ThreeValued
bracksJukebox.TPTP.Parse.Core
casesJukebox.Tools.GuessModel
cases1Jukebox.Tools.GuessModel
checkJukebox.Form
checkBinderJukebox.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
clausFormJukebox.Tools.Clausify
clausifyJukebox.Tools.Clausify
clausifyBoxJukebox.Toolbox
ClausifyFlags 
1 (Type/Class)Jukebox.Tools.Clausify
2 (Data Constructor)Jukebox.Tools.Clausify
clausifyFlagsJukebox.Tools.Clausify
closeFormJukebox.Form
CNF 
1 (Type/Class)Jukebox.Form
2 (Data Constructor)Jukebox.Form
CnfJukebox.TPTP.Lexer
cnf 
1 (Function)Jukebox.Tools.Clausify
2 (Function)Jukebox.TPTP.Parse.Core
3 (Function)Jukebox.TPTP.ParseSnippet
CNFRefutationJukebox.Form
CNF_Jukebox.Form
collectJukebox.Form
ColonJukebox.TPTP.Lexer
CommaJukebox.TPTP.Lexer
commentJukebox.Toolbox
compareNameJukebox.Name
compoundTypeJukebox.TPTP.Parse.Core
conflictJukebox.Sat
ConjJukebox.Form
Conjecture 
1 (Data Constructor)Jukebox.TPTP.Lexer
2 (Data Constructor)Jukebox.Form
conjecturesJukebox.Form
ConjKindJukebox.Form
Connective 
1 (Type/Class)Jukebox.Form
2 (Data Constructor)Jukebox.Form
connectiveJukebox.Form
ConsJukebox.TPTP.Lexer
ConstJukebox.Form
consumeJukebox.Options
ContentsJukebox.TPTP.Lexer
CopyExtendJukebox.Tools.AnalyseMonotonicity
CostJukebox.Tools.Clausify
counterJukebox.Sat.Equality
CounterSatisfiableJukebox.Form
crossJukebox.Tools.Clausify
cutJukebox.TPTP.Parsec
cut'Jukebox.TPTP.Parsec
DDistinctJukebox.TPTP.Lexer
debuggingJukebox.Form
defaultRenamerJukebox.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
deleteSolverJukebox.Sat
DependentProductJukebox.TPTP.Lexer
DependentSumJukebox.TPTP.Lexer
descrJukebox.Options
DFalseJukebox.TPTP.Lexer
DIJukebox.TPTP.Lexer
DistinctObjectJukebox.TPTP.Lexer
DItefJukebox.TPTP.Lexer
DItetJukebox.TPTP.Lexer
DOJukebox.TPTP.Lexer
DotJukebox.TPTP.Lexer
dropNonHornJukebox.Tools.HornToUnit
DTrueJukebox.TPTP.Lexer
DTTypeJukebox.TPTP.Lexer
EFlags 
1 (Type/Class)Jukebox.ExternalProvers.E
2 (Data Constructor)Jukebox.ExternalProvers.E
eflagsJukebox.ExternalProvers.E
eliminateHornClausesJukebox.Tools.HornToUnit
eliminateMultiplePreconditionsJukebox.Tools.HornToUnit
eliminatePredicatesJukebox.Tools.HornToUnit
eliminateUnsuitableConjecturesJukebox.Tools.HornToUnit
Elt 
1 (Type/Class)Jukebox.Sat.Equality
2 (Data Constructor)Jukebox.Sat.Equality
encodeTypesSmartlyJukebox.Tools.HornToUnit
EncodingJukebox.Tools.HornToUnit
encodingJukebox.Tools.HornToUnit
EofJukebox.TPTP.Lexer
eofJukebox.TPTP.Parsec
eproverJukebox.ExternalProvers.E
EqJukebox.TPTP.Lexer
EqSolverJukebox.Sat.Equality
equalJukebox.Sat.Equality
equalsJukebox.Tools.EncodeTypes
EquivJukebox.Form
eraseTypesJukebox.Form
Error 
1 (Type/Class)Jukebox.Options
2 (Data Constructor)Jukebox.Options
3 (Data Constructor)Jukebox.TPTP.Lexer
4 (Data Constructor)Jukebox.TPTP.Parsec
evalUFJukebox.UnionFind
execUFJukebox.UnionFind
Exists 
1 (Data Constructor)Jukebox.TPTP.Lexer
2 (Data Constructor)Jukebox.Form
existsJukebox.Tools.EncodeTypes
ExistsLamJukebox.TPTP.Lexer
ExpectedJukebox.TPTP.Parsec
expectedJukebox.TPTP.Parsec
expertJukebox.Options
ExpertModeJukebox.Options
explainAnswerJukebox.Form
ExtensionJukebox.Tools.AnalyseMonotonicity
extensionJukebox.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
false3Jukebox.Sat.ThreeValued
FalseExtendJukebox.Tools.AnalyseMonotonicity
FalseExtendedJukebox.Tools.AnalyseMonotonicity
fatalErrorJukebox.TPTP.Parsec
FiDomainJukebox.TPTP.Lexer
FiHypothesisJukebox.TPTP.Lexer
filenamesJukebox.Options
findFileJukebox.TPTP.FindFile
findFileFlagsJukebox.TPTP.FindFile
findFileTPTPJukebox.TPTP.FindFile
FiPredicatesJukebox.TPTP.Lexer
FixedJukebox.Name
FixedNameJukebox.Name
Flag 
1 (Type/Class)Jukebox.Options
2 (Data Constructor)Jukebox.Options
flagJukebox.Options
flagArgsJukebox.Options
flagExpertJukebox.Options
flagGroupJukebox.Options
flagHelpJukebox.Options
FlagModeJukebox.Options
flagModeJukebox.Options
flagNameJukebox.Options
flattenJukebox.Sat.Easy
FofJukebox.TPTP.Lexer
fofJukebox.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
forAllConjecturesJukebox.Toolbox
forAllConjecturesBoxJukebox.Toolbox
forAllFilesJukebox.Toolbox
forAllFilesBoxJukebox.Toolbox
ForAllLamJukebox.TPTP.Lexer
forAllOrJukebox.Tools.Clausify
forceJukebox.Form
Form 
1 (Data Constructor)Jukebox.Form
2 (Type/Class)Jukebox.Form
3 (Type/Class)Jukebox.Sat.Easy
formJukebox.TPTP.ParseSnippet
FormulaJukebox.TPTP.Parse.Core
formulaJukebox.TPTP.Parse.Core
FormulaLikeJukebox.TPTP.Parse.Core
freeJukebox.Form
FromFileJukebox.Form
fromFormulaJukebox.TPTP.Parse.Core
fromModelJukebox.Tools.AnalyseMonotonicity
fromThingJukebox.TPTP.Parse.Core
FunJukebox.TPTP.Parse.Core
funArgsJukebox.Form
FunArrowJukebox.TPTP.Lexer
funcAxiomJukebox.Tools.EncodeTypes
FunctionJukebox.Form
functionJukebox.Tools.GuessModel
Function'Jukebox.Tools.InferTypes
functionsJukebox.Form
funOccJukebox.Form
funsOccJukebox.Form
FunType 
1 (Type/Class)Jukebox.Form
2 (Data Constructor)Jukebox.Form
GaveUpJukebox.Form
generateJukebox.Tools.InferTypes
getNameJukebox.Tools.Clausify
getPositionJukebox.TPTP.Parsec
getSolverJukebox.Sat
getSolverEqJukebox.Sat.Equality
getStateJukebox.TPTP.Parsec
getTPTPDirsJukebox.TPTP.FindFile
GlobalFlags 
1 (Type/Class)Jukebox.Toolbox
2 (Data Constructor)Jukebox.Toolbox
globalFlagsJukebox.Toolbox
groundJukebox.Form
guardJukebox.Tools.EncodeTypes
guards 
1 (Function)Jukebox.Tools.EncodeTypes
2 (Function)Jukebox.Tools.AnalyseMonotonicity
guards1Jukebox.Tools.EncodeTypes
guardsAxiomJukebox.Tools.EncodeTypes
guardsTypeAxiomJukebox.Tools.EncodeTypes
guessModelJukebox.Tools.GuessModel
guessModelBoxJukebox.Toolbox
hasLabelJukebox.Name
hasSizeOneModelJukebox.Tools.HornToUnit
helpJukebox.Options
helpTextJukebox.Options
hiddenJukebox.Options
HiddenModeJukebox.Options
HornFlags 
1 (Type/Class)Jukebox.Tools.HornToUnit
2 (Data Constructor)Jukebox.Tools.HornToUnit
hornFlagsJukebox.Tools.HornToUnit
hornToUnitJukebox.Tools.HornToUnit
hornToUnitBoxJukebox.Toolbox
hornToUnitIOJukebox.Toolbox
Hypothesis 
1 (Data Constructor)Jukebox.TPTP.Lexer
2 (Data Constructor)Jukebox.Form
idsJukebox.Form
IffJukebox.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
includeJukebox.TPTP.Parse.Core
IncludeStatementJukebox.TPTP.Parse.Core
indJukebox.Tools.GuessModel
indentJukebox.Toolbox
indTypeJukebox.Form
inferBoxJukebox.Toolbox
InferenceJukebox.Form
inferTypesJukebox.Tools.InferTypes
inGroupJukebox.Options
initialJukebox.UnionFind
initialStateJukebox.TPTP.Parse.Core
initialStateFromJukebox.TPTP.Parse.Core
Input 
1 (Type/Class)Jukebox.Form
2 (Data Constructor)Jukebox.Form
inputJukebox.TPTP.Parse.Core
InputSourceJukebox.Form
Input_Jukebox.Form
IntegerJukebox.Name
intTypeJukebox.Form
ioJukebox.Options
isFalse 
1 (Function)Jukebox.Sat.ThreeValued
2 (Function)Jukebox.Form
isFofJukebox.Form
isRepJukebox.UnionFind
isTrue 
1 (Function)Jukebox.Sat.ThreeValued
2 (Function)Jukebox.Form
justifyJukebox.Options
KeywordJukebox.TPTP.Lexer
keyword 
1 (Function)Jukebox.TPTP.Lexer
2 (Function)Jukebox.TPTP.Parse.Core
keyword'Jukebox.TPTP.Parse.Core
keywordsJukebox.SMTLIB
KindJukebox.Form
kind 
1 (Function)Jukebox.TPTP.Lexer
2 (Function)Jukebox.Form
3 (Function)Jukebox.TPTP.Parse.Core
labelJukebox.Name
LambdaJukebox.TPTP.Lexer
LBrackJukebox.TPTP.Lexer
leafJukebox.TPTP.Parse.Core
Lemma 
1 (Data Constructor)Jukebox.TPTP.Lexer
2 (Data Constructor)Jukebox.Form
LetJukebox.TPTP.Lexer
LetTermJukebox.TPTP.Lexer
lhsJukebox.Name
ListJukebox.Form
Lit 
1 (Type/Class)Jukebox.Sat
2 (Data Constructor)Jukebox.Sat.Easy
litJukebox.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
localMinJukebox.Sat.Minimise
Location 
1 (Type/Class)Jukebox.TPTP.Parse.Core
2 (Data Constructor)Jukebox.TPTP.Parse.Core
lookupFunctionJukebox.TPTP.Parse.Core
lookupTypeJukebox.TPTP.Parse.Core
LParenJukebox.TPTP.Lexer
MJukebox.Tools.Clausify
makeCopyableJukebox.Tools.Clausify
makeFunctionJukebox.Tools.EncodeTypes
makeLocationJukebox.TPTP.Parse.Core
makeOrJukebox.Tools.Clausify
mangleAnswerJukebox.ExternalProvers.E
manyFlagsJukebox.Options
mapNameJukebox.Form
mapTypeJukebox.Form
memoryJukebox.ExternalProvers.E
mergeJukebox.Utils
miniscopeJukebox.Tools.Clausify
MistakeJukebox.Options
MkStateJukebox.TPTP.Parse.Core
ModeJukebox.TPTP.Parse.Core
ModelJukebox.Form
model 
1 (Function)Jukebox.Sat.Equality
2 (Function)Jukebox.Sat.Easy
modelRepJukebox.Sat.Equality
modelValue 
1 (Function)Jukebox.Sat
2 (Function)Jukebox.Sat.Easy
modelValue3Jukebox.Sat.ThreeValued
monotoneJukebox.Tools.AnalyseMonotonicity
multiJukebox.Tools.HornToUnit
nakedJukebox.Tools.EncodeTypes
NameJukebox.Name
nameJukebox.Name
NamedJukebox.Name
NameM 
1 (Type/Class)Jukebox.Name
2 (Data Constructor)Jukebox.Name
namesJukebox.Form
Nand 
1 (Data Constructor)Jukebox.TPTP.Lexer
2 (Data Constructor)Jukebox.Form
NegJukebox.Form
neg 
1 (Function)Jukebox.Sat
2 (Function)Jukebox.Form
neg3Jukebox.Sat.ThreeValued
NegatedConjecture 
1 (Data Constructor)Jukebox.TPTP.Lexer
2 (Data Constructor)Jukebox.Form
NeqJukebox.TPTP.Lexer
newEltJukebox.Sat.Equality
newFormulaJukebox.TPTP.Parse.Core
newFunction 
1 (Function)Jukebox.Form
2 (Function)Jukebox.TPTP.Parse.Core
newLitJukebox.Sat
newLit2Jukebox.Sat.ThreeValued
newLit3Jukebox.Sat.ThreeValued
newNameJukebox.Name
newSolverJukebox.Sat
newSolverEqJukebox.Sat.Equality
newSymbolJukebox.Form
newTypeJukebox.Form
nextJukebox.TPTP.Parsec
NoJukebox.Options
NoAnswerJukebox.Form
NoAnswerReasonJukebox.Form
nonemptyJukebox.TPTP.Parsec
NoQuantificationJukebox.TPTP.Parse.Core
Nor 
1 (Data Constructor)Jukebox.TPTP.Lexer
2 (Data Constructor)Jukebox.Form
NormalJukebox.TPTP.Lexer
NormalModeJukebox.Options
normAtomicJukebox.Form
Not 
1 (Data Constructor)Jukebox.TPTP.Lexer
2 (Data Constructor)Jukebox.Form
notInwardsJukebox.Form
nt 
1 (Function)Jukebox.Form
2 (Function)Jukebox.Sat.Easy
NumberJukebox.TPTP.Lexer
numberJukebox.TPTP.Parse.Core
OJukebox.Form
OkJukebox.TPTP.Parsec
oneConjectureJukebox.Toolbox
oneConjectureBoxJukebox.Toolbox
OptionParserJukebox.Options
Or 
1 (Data Constructor)Jukebox.TPTP.Lexer
2 (Data Constructor)Jukebox.Form
3 (Data Constructor)Jukebox.Sat.Easy
orCostJukebox.Tools.Clausify
OverloadedJukebox.Name
parensJukebox.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
parseCommandLineJukebox.Options
parseCommandLineWithArgsJukebox.Options
parseCommandLineWithExtraArgsJukebox.Options
ParsecStateJukebox.TPTP.Parse.Core
parseErrorJukebox.TPTP.Parsec
ParseFailedJukebox.TPTP.Parse.Core
parseProblem 
1 (Function)Jukebox.TPTP.Parse.Core
2 (Function)Jukebox.TPTP.Parse
parseProblemFromJukebox.TPTP.Parse.Core
parseProblemWithJukebox.TPTP.Parse
ParserJukebox.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
ParseStalledJukebox.TPTP.Parse.Core
ParseStateJukebox.TPTP.Parse.Core
parseStringJukebox.TPTP.Parse
ParseSucceededJukebox.TPTP.Parse.Core
passiviseJukebox.Tools.HornToUnit
PeanoJukebox.Tools.GuessModel
peanoJukebox.Tools.GuessModel
peekJukebox.Options
PlainJukebox.TPTP.Lexer
PlusJukebox.TPTP.Lexer
popenJukebox.Utils
Pos 
1 (Type/Class)Jukebox.TPTP.Lexer
2 (Data Constructor)Jukebox.TPTP.Lexer
3 (Data Constructor)Jukebox.Form
posJukebox.Form
PositionJukebox.TPTP.Parsec
positionJukebox.TPTP.Parsec
positiveJukebox.Form
pPrintAtomicJukebox.SMTLIB
pPrintClausesJukebox.TPTP.Print
pPrintDeclsJukebox.SMTLIB
pPrintFormJukebox.SMTLIB
pPrintInputJukebox.SMTLIB
pPrintNameJukebox.SMTLIB
pPrintProblem 
1 (Function)Jukebox.TPTP.Print
2 (Function)Jukebox.SMTLIB
pPrintProofJukebox.TPTP.Print
pPrintQuantJukebox.SMTLIB
pPrintTermJukebox.SMTLIB
pPrintTypeJukebox.SMTLIB
prettyNamesJukebox.TPTP.Print
prettyPrintIOJukebox.Toolbox
prettyShowJukebox.TPTP.Print
primFlagJukebox.Options
primTokenJukebox.TPTP.Parsec
printClausesBoxJukebox.Toolbox
printErrorJukebox.Options
printHelpJukebox.Options
printInferredBoxJukebox.Toolbox
printProblemBoxJukebox.Toolbox
printProblemSMTBoxJukebox.Toolbox
ProblemJukebox.Form
ProdJukebox.TPTP.Parse.Core
prodJukebox.TPTP.Parse.Core
Punct 
1 (Type/Class)Jukebox.TPTP.Lexer
2 (Data Constructor)Jukebox.TPTP.Lexer
punctJukebox.TPTP.Parse.Core
punct'Jukebox.TPTP.Parse.Core
putStateJukebox.TPTP.Parsec
quantifiedJukebox.TPTP.Parse.Core
Question 
1 (Data Constructor)Jukebox.TPTP.Lexer
2 (Data Constructor)Jukebox.Form
quietJukebox.Toolbox
quietlyJukebox.Toolbox
Rational 
1 (Data Constructor)Jukebox.Name
2 (Data Constructor)Jukebox.TPTP.Lexer
ratNumberJukebox.TPTP.Parse.Core
ratTypeJukebox.Form
ratValueJukebox.TPTP.Lexer
RBrackJukebox.TPTP.Lexer
readProblemJukebox.Toolbox
readProblemBoxJukebox.Toolbox
Real 
1 (Data Constructor)Jukebox.Name
2 (Data Constructor)Jukebox.TPTP.Lexer
realNumberJukebox.TPTP.Parse.Core
realTypeJukebox.Form
recursivelyJukebox.Form
recursivelyMJukebox.Form
removeEquivJukebox.Tools.Clausify
removeEquivAuxJukebox.Tools.Clausify
removeExistsJukebox.Tools.Clausify
removeExpensiveOrJukebox.Tools.Clausify
removeExpensiveOrAuxJukebox.Tools.Clausify
renameAvoidingKeywordsJukebox.SMTLIB
RenamerJukebox.Name
renamerJukebox.Name
renameTPTPJukebox.SMTLIB
Renaming 
1 (Type/Class)Jukebox.Name
2 (Data Constructor)Jukebox.Name
renamingsJukebox.SMTLIB
RepJukebox.Form
rep 
1 (Function)Jukebox.UnionFind
2 (Function)Jukebox.Form
rep'Jukebox.Form
ReplacementJukebox.UnionFind
ReplyJukebox.TPTP.Parsec
repsJukebox.UnionFind
resJukebox.Form
ResultJukebox.TPTP.Parsec
rhsJukebox.Name
rhssJukebox.Tools.GuessModel
RParenJukebox.TPTP.Lexer
run 
1 (Function)Jukebox.TPTP.Parsec
2 (Function)Jukebox.Form
3 (Function)Jukebox.Tools.Clausify
runEJukebox.ExternalProvers.E
runNameMJukebox.Name
runParJukebox.Options
runParsecJukebox.TPTP.Parsec
runSatJukebox.Sat.Easy
runSat1Jukebox.Sat.Easy
runSat1_Jukebox.Sat.Easy
runSat_Jukebox.Sat.Easy
runSPASSJukebox.ExternalProvers.SPASS
runUFJukebox.UnionFind
run_ 
1 (Function)Jukebox.TPTP.Parsec
2 (Function)Jukebox.Form
SJukebox.UnionFind
safeJukebox.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
SatisfiableJukebox.Form
satisfiableJukebox.Form
satisfyJukebox.TPTP.Parsec
SatReasonJukebox.Form
SatSolverJukebox.Sat
satSolverJukebox.Sat.Equality
SatState 
1 (Type/Class)Jukebox.Sat.Easy
2 (Data Constructor)Jukebox.Sat.Easy
scanJukebox.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
scheme1Jukebox.Tools.EncodeTypes
schemeBoxJukebox.Toolbox
sectionJukebox.TPTP.Parse.Core
sepBy1Jukebox.TPTP.Parsec
SeqParser 
1 (Type/Class)Jukebox.Options
2 (Data Constructor)Jukebox.Options
SequentArrowJukebox.TPTP.Lexer
sexpJukebox.SMTLIB
showClausesJukebox.TPTP.Print
showMonotonicityBoxJukebox.Toolbox
showProblem 
1 (Function)Jukebox.TPTP.Print
2 (Function)Jukebox.SMTLIB
showTypesJukebox.TPTP.Parse.Core
Signed 
1 (Data Constructor)Jukebox.Form
2 (Type/Class)Jukebox.Form
signFormJukebox.Form
simpleJukebox.Form
simplifyJukebox.Form
simplifyCNFJukebox.Tools.Clausify
sizeJukebox.Form
skipManyJukebox.TPTP.Parsec
skipSomeJukebox.TPTP.Parsec
skolemJukebox.Tools.Clausify
skolemNameJukebox.Tools.Clausify
smallerJukebox.Tools.HornToUnit
solve 
1 (Function)Jukebox.Sat
2 (Function)Jukebox.Tools.InferTypes
3 (Function)Jukebox.Sat.Easy
solveEqJukebox.Sat.Equality
solveLocalMinJukebox.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
SomeJukebox.TPTP.Lexer
sosJukebox.ExternalProvers.SPASS
sourceJukebox.Form
spassJukebox.ExternalProvers.SPASS
SPASSFlags 
1 (Type/Class)Jukebox.ExternalProvers.SPASS
2 (Data Constructor)Jukebox.ExternalProvers.SPASS
spassFlagsJukebox.ExternalProvers.SPASS
splitJukebox.Tools.Clausify
splittingJukebox.Tools.Clausify
StreamJukebox.TPTP.Parsec
SubstJukebox.Form
substJukebox.Form
SubtypeJukebox.TPTP.Lexer
SymbolicJukebox.Form
SymmetricJukebox.Tools.HornToUnit
tableJukebox.Sat.Equality
TagJukebox.Form
tag 
1 (Function)Jukebox.Form
2 (Function)Jukebox.TPTP.Parse.Core
tagsJukebox.Tools.EncodeTypes
tags1Jukebox.Tools.EncodeTypes
tagsAxiomJukebox.Tools.EncodeTypes
tagsExistsJukebox.Tools.EncodeTypes
tagsFlagsJukebox.Tools.EncodeTypes
TcfJukebox.TPTP.Lexer
Term 
1 (Data Constructor)Jukebox.Form
2 (Type/Class)Jukebox.Form
3 (Data Constructor)Jukebox.TPTP.Parse.Core
termJukebox.TPTP.Parse.Core
TermLikeJukebox.TPTP.Parse.Core
termsJukebox.Form
termsAndBindersJukebox.Form
testParserJukebox.TPTP.Parse.Core
TffJukebox.TPTP.Lexer
tff 
1 (Function)Jukebox.TPTP.Parse.Core
2 (Function)Jukebox.TPTP.ParseSnippet
TheJukebox.TPTP.Lexer
theJukebox.Form
Theorem 
1 (Data Constructor)Jukebox.TPTP.Lexer
2 (Data Constructor)Jukebox.Form
TheoremKindJukebox.Form
ThfJukebox.TPTP.Lexer
ThingJukebox.TPTP.Parse.Core
TimeoutJukebox.Form
timeout 
1 (Function)Jukebox.ExternalProvers.SPASS
2 (Function)Jukebox.ExternalProvers.E
TimesJukebox.TPTP.Lexer
tnameJukebox.Form
toClauseJukebox.Form
toCNFJukebox.Form
toFofJukebox.Toolbox
toFofBoxJukebox.Toolbox
toFormJukebox.Form
toFormulasBoxJukebox.Toolbox
TokenJukebox.TPTP.Lexer
tokenNameJukebox.TPTP.Lexer
TokenStreamJukebox.TPTP.Lexer
toLiteralsJukebox.Form
translateJukebox.Tools.EncodeTypes
translate1Jukebox.Tools.EncodeTypes
TreesJukebox.Tools.GuessModel
treesJukebox.Tools.GuessModel
TruJukebox.Form
true 
1 (Function)Jukebox.Sat
2 (Function)Jukebox.Form
3 (Function)Jukebox.Sat.Easy
true3Jukebox.Sat.ThreeValued
TrueExtendJukebox.Tools.AnalyseMonotonicity
TrueExtendedJukebox.Tools.AnalyseMonotonicity
tstpJukebox.Toolbox
TSTPFlags 
1 (Type/Class)Jukebox.Toolbox
2 (Data Constructor)Jukebox.Toolbox
tstpFlagsJukebox.Toolbox
TTypeJukebox.TPTP.Parse.Core
typJukebox.Form
Type 
1 (Data Constructor)Jukebox.TPTP.Lexer
2 (Type/Class)Jukebox.Form
3 (Data Constructor)Jukebox.Form
typeAxiomJukebox.Tools.EncodeTypes
Typed 
1 (Type/Class)Jukebox.Form
2 (Data Constructor)Jukebox.TPTP.Parse.Core
typeDeclarationJukebox.TPTP.Parse.Core
typeErrorJukebox.TPTP.Parse.Core
typeMaybeNameJukebox.Form
TypeOfJukebox.Form
typeOfJukebox.Form
typesJukebox.Form
types'Jukebox.Form
Type_Jukebox.TPTP.Parse.Core
type_Jukebox.TPTP.Parse.Core
UFJukebox.UnionFind
UnaryJukebox.Form
UniqueJukebox.Name
uniqueJukebox.Sat.Easy
uniqueNamesJukebox.Form
unitaryJukebox.TPTP.Parse.Core
unitCostJukebox.Tools.Clausify
UniverseJukebox.Tools.GuessModel
universeJukebox.Tools.GuessModel
Unknown 
1 (Data Constructor)Jukebox.TPTP.Lexer
2 (Data Constructor)Jukebox.Form
unNameMJukebox.Name
UnpackJukebox.Form
UnsatJukebox.Form
UnsatisfiableJukebox.Form
unsatisfiableJukebox.Form
UnsatReasonJukebox.Form
UntypedJukebox.TPTP.Parse.Core
unvariantJukebox.Name
UsageJukebox.Options
usageTextJukebox.Options
UserState 
1 (Type/Class)Jukebox.TPTP.Parsec
2 (Data Constructor)Jukebox.TPTP.Parsec
userStateJukebox.TPTP.Parsec
userStreamJukebox.TPTP.Parsec
usortJukebox.Utils
valJukebox.Options
val3Jukebox.Sat.ThreeValued
value 
1 (Function)Jukebox.Sat
2 (Function)Jukebox.TPTP.Lexer
value3Jukebox.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
VariableJukebox.Form
variableJukebox.TPTP.Parse.Core
VariantJukebox.Name
variantJukebox.Name
varsJukebox.Form
versionJukebox.Options
WatchJukebox.Sat.Easy
whatJukebox.Form
withLabelJukebox.Name
withMaybeLabelJukebox.Name
withNameJukebox.Tools.Clausify
withRenamerJukebox.Name
writeFileBoxJukebox.Toolbox
Xor 
1 (Data Constructor)Jukebox.TPTP.Lexer
2 (Data Constructor)Jukebox.Form
YesJukebox.Options
\/Jukebox.Form
|+|Jukebox.Form
|=>Jukebox.Form