Contents
Index
jukebox-0.2.17: 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
addClause
Jukebox.Sat
addForm
Jukebox.HighSat
allFiles
Jukebox.Toolbox
allFilesBox
Jukebox.Toolbox
allObligsBox
Jukebox.Toolbox
allObligsIO
Jukebox.Toolbox
And
1 (Data Constructor)
Jukebox.TPTP.Lexer
2 (Data Constructor)
Jukebox.Form
3 (Data Constructor)
Jukebox.HighSat
andCost
Jukebox.Clausify
Annotated
1 (Type/Class)
Jukebox.Options
2 (Data Constructor)
Jukebox.Options
annotateMonotonicity
Jukebox.Monotonox.Monotonicity
annotateMonotonicityBox
Jukebox.Toolbox
Answer
Jukebox.Form
Apply
1 (Data Constructor)
Jukebox.TPTP.Lexer
2 (Data Constructor)
Jukebox.TPTP.Parse.Core
applyFunction
Jukebox.TPTP.Parse.Core
arg
Jukebox.Options
ArgDesc
Jukebox.Options
argError
Jukebox.Options
argFile
Jukebox.Options
argFiles
Jukebox.Options
argList
Jukebox.Options
argName
Jukebox.Options
argNum
Jukebox.Options
argNums
Jukebox.Options
argOption
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
Jukebox.TPTP.Lexer
At
Jukebox.TPTP.Lexer
atIndex
Jukebox.HighSat
Atom
Jukebox.TPTP.Lexer
atom
Jukebox.TPTP.Parse.Core
Atomic
1 (Data Constructor)
Jukebox.Form
2 (Type/Class)
Jukebox.Form
await
Jukebox.Options
awaitP
Jukebox.Options
Axiom
1 (Data Constructor)
Jukebox.TPTP.Lexer
2 (Data Constructor)
Jukebox.Form
axioms
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.Sat3
bracks
Jukebox.TPTP.Parse.Core
cases
Jukebox.GuessModel
cases1
Jukebox.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.Monotonox.Monotonicity
Clause_
Jukebox.Form
clausForm
Jukebox.Clausify
clausify
Jukebox.Clausify
clausifyBox
Jukebox.Toolbox
ClausifyFlags
1 (Type/Class)
Jukebox.Clausify
2 (Data Constructor)
Jukebox.Clausify
clausifyFlags
Jukebox.Clausify
clausifyIO
Jukebox.Toolbox
closeForm
Jukebox.Form
CNF
1 (Type/Class)
Jukebox.Form
2 (Data Constructor)
Jukebox.Form
Cnf
Jukebox.TPTP.Lexer
cnf
1 (Function)
Jukebox.TPTP.Parse.Core
2 (Function)
Jukebox.TPTP.ParseSnippet
3 (Function)
Jukebox.Clausify
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
Conjecture
1 (Data Constructor)
Jukebox.TPTP.Lexer
2 (Data Constructor)
Jukebox.Form
conjectures
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.Monotonox.Monotonicity
Cost
Jukebox.Clausify
counter
Jukebox.SatEq
cross
Jukebox.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
Jukebox.TPTP.Lexer
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
DomainSize
Jukebox.Form
Dot
Jukebox.TPTP.Lexer
DTrue
Jukebox.TPTP.Lexer
DTType
Jukebox.TPTP.Lexer
EFlags
1 (Type/Class)
Jukebox.Provers.E
2 (Data Constructor)
Jukebox.Provers.E
eflags
Jukebox.Provers.E
Elt
1 (Type/Class)
Jukebox.SatEq
2 (Data Constructor)
Jukebox.SatEq
Eof
Jukebox.TPTP.Lexer
eof
Jukebox.TPTP.Parsec
eprover
Jukebox.Provers.E
Eq
Jukebox.TPTP.Lexer
EqSolver
Jukebox.SatEq
equal
Jukebox.SatEq
equals
Jukebox.Monotonox.ToFOF
Equiv
Jukebox.Form
Error
1 (Data Constructor)
Jukebox.TPTP.Parsec
2 (Data Constructor)
Jukebox.TPTP.Lexer
3 (Type/Class)
Jukebox.Options
4 (Data Constructor)
Jukebox.Options
evalUF
Jukebox.UnionFind
execUF
Jukebox.UnionFind
Exists
1 (Data Constructor)
Jukebox.TPTP.Lexer
2 (Data Constructor)
Jukebox.Form
exists
Jukebox.Monotonox.ToFOF
ExistsLam
Jukebox.TPTP.Lexer
Expected
Jukebox.TPTP.Parsec
expected
Jukebox.TPTP.Parsec
Extension
Jukebox.Monotonox.Monotonicity
extension
Jukebox.Monotonox.Monotonicity
extractAnswer
1 (Function)
Jukebox.Provers.SPASS
2 (Function)
Jukebox.Provers.E
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
FromFile
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
funOcc
Jukebox.Form
FunType
1 (Type/Class)
Jukebox.Form
2 (Data Constructor)
Jukebox.Form
GaveUp
Jukebox.Form
generate
Jukebox.InferTypes
getEffectiveArgs
Jukebox.Options
getName
Jukebox.Clausify
getPosition
Jukebox.TPTP.Parsec
getSolver
Jukebox.Sat
getSolverEq
Jukebox.SatEq
getState
Jukebox.TPTP.Parsec
getTPTPDirs
Jukebox.TPTP.FindFile
GlobalFlags
1 (Type/Class)
Jukebox.Toolbox
2 (Data Constructor)
Jukebox.Toolbox
globalFlags
Jukebox.Toolbox
greeting
Jukebox.Options
greetingBox
Jukebox.Toolbox
greetingBoxIO
Jukebox.Toolbox
ground
Jukebox.Form
guard
Jukebox.Monotonox.ToFOF
guards
1 (Function)
Jukebox.Monotonox.Monotonicity
2 (Function)
Jukebox.Monotonox.ToFOF
guards1
Jukebox.Monotonox.ToFOF
guardsAxiom
Jukebox.Monotonox.ToFOF
guardsTypeAxiom
Jukebox.Monotonox.ToFOF
guessModel
Jukebox.GuessModel
guessModelBox
Jukebox.Toolbox
guessModelIO
Jukebox.Toolbox
help
Jukebox.Options
helpTool
Jukebox.Options
Hypothesis
Jukebox.TPTP.Lexer
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.GuessModel
individual
Jukebox.TPTP.Parse.Core
inferBox
Jukebox.Toolbox
Inference
Jukebox.Form
inferTypes
Jukebox.InferTypes
Infinite
Jukebox.Form
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.TPTP.Parse.Core
io
Jukebox.Options
isFalse
1 (Function)
Jukebox.Sat3
2 (Function)
Jukebox.Form
isFof
Jukebox.Form
isRep
Jukebox.UnionFind
isTrue
1 (Function)
Jukebox.Sat3
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
Lambda
Jukebox.TPTP.Lexer
LBrack
Jukebox.TPTP.Lexer
leaf
Jukebox.TPTP.Parse.Core
Lemma
Jukebox.TPTP.Lexer
Let
Jukebox.TPTP.Lexer
LetTerm
Jukebox.TPTP.Lexer
lhs
Jukebox.Name
List
Jukebox.Form
Lit
1 (Type/Class)
Jukebox.Sat
2 (Data Constructor)
Jukebox.HighSat
lit
Jukebox.HighSat
Lit3
1 (Type/Class)
Jukebox.Sat3
2 (Data Constructor)
Jukebox.Sat3
Literal
1 (Data Constructor)
Jukebox.Form
2 (Type/Class)
Jukebox.Form
literal
1 (Function)
Jukebox.Monotonox.Monotonicity
2 (Function)
Jukebox.TPTP.Parse.Core
3 (Function)
Jukebox.Clausify
localMin
Jukebox.SatMin
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.Clausify
makeCopyable
Jukebox.Clausify
makeFunction
Jukebox.Monotonox.ToFOF
makeLocation
Jukebox.TPTP.Parse.Core
makeOr
Jukebox.Clausify
mangleAnswer
Jukebox.Provers.E
manyFlags
Jukebox.Options
mapName
Jukebox.Form
mapType
Jukebox.Form
memory
Jukebox.Provers.E
merge
Jukebox.Utils
message
Jukebox.Toolbox
miniscope
Jukebox.Clausify
Mistake
Jukebox.Options
MkState
Jukebox.TPTP.Parse.Core
Mode
Jukebox.TPTP.Parse.Core
model
1 (Function)
Jukebox.SatEq
2 (Function)
Jukebox.HighSat
modelRep
Jukebox.SatEq
modelValue
1 (Function)
Jukebox.Sat
2 (Function)
Jukebox.HighSat
modelValue3
Jukebox.Sat3
monotone
Jukebox.Monotonox.Monotonicity
monotonicity
Jukebox.Toolbox
monotonicityBox
Jukebox.Toolbox
naked
Jukebox.Monotonox.ToFOF
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.Sat3
NegatedConjecture
Jukebox.TPTP.Lexer
Neq
Jukebox.TPTP.Lexer
newElt
Jukebox.SatEq
newFormula
Jukebox.TPTP.Parse.Core
newFunction
1 (Function)
Jukebox.Form
2 (Function)
Jukebox.TPTP.Parse.Core
newLit
Jukebox.Sat
newLit2
Jukebox.Sat3
newLit3
Jukebox.Sat3
newName
Jukebox.Name
newSolver
Jukebox.Sat
newSolverEq
Jukebox.SatEq
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
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.HighSat
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.HighSat
orCost
Jukebox.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
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
parseProblemBox
Jukebox.Toolbox
parseProblemFrom
Jukebox.TPTP.Parse.Core
parseProblemIO
Jukebox.Toolbox
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
Peano
Jukebox.GuessModel
peano
Jukebox.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
PrefixParser
1 (Type/Class)
Jukebox.Options
2 (Data Constructor)
Jukebox.Options
prettyNames
Jukebox.TPTP.Print
prettyPrintClausesBox
Jukebox.Toolbox
prettyPrintIO
Jukebox.Toolbox
prettyPrintProblemBox
Jukebox.Toolbox
prettyPrintProblemSMTBox
Jukebox.Toolbox
prettyShow
Jukebox.TPTP.Print
primToken
Jukebox.TPTP.Parsec
printHelp
Jukebox.Options
printInferredBox
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
Rational
1 (Data Constructor)
Jukebox.TPTP.Lexer
2 (Data Constructor)
Jukebox.Name
ratNumber
Jukebox.TPTP.Parse.Core
ratType
Jukebox.TPTP.Parse.Core
ratValue
Jukebox.TPTP.Lexer
RBrack
Jukebox.TPTP.Lexer
Real
1 (Data Constructor)
Jukebox.TPTP.Lexer
2 (Data Constructor)
Jukebox.Name
realNumber
Jukebox.TPTP.Parse.Core
realType
Jukebox.TPTP.Parse.Core
recursively
Jukebox.Form
recursivelyM
Jukebox.Form
removeEquiv
Jukebox.Clausify
removeEquivAux
Jukebox.Clausify
removeExists
Jukebox.Clausify
removeExpensiveOr
Jukebox.Clausify
removeExpensiveOrAux
Jukebox.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.GuessModel
RParen
Jukebox.TPTP.Lexer
run
1 (Function)
Jukebox.TPTP.Parsec
2 (Function)
Jukebox.Form
3 (Function)
Jukebox.Clausify
runE
Jukebox.Provers.E
runNameM
Jukebox.Name
runPar
Jukebox.Options
runParsec
Jukebox.TPTP.Parsec
runPref
Jukebox.Options
runSat
Jukebox.HighSat
runSat1
Jukebox.HighSat
runSat1_
Jukebox.HighSat
runSat_
Jukebox.HighSat
runSPASS
Jukebox.Provers.SPASS
runUF
Jukebox.UnionFind
run_
Jukebox.TPTP.Parsec
S
Jukebox.UnionFind
safe
Jukebox.Monotonox.Monotonicity
Sat
1 (Type/Class)
Jukebox.HighSat
2 (Data Constructor)
Jukebox.HighSat
Sat1
1 (Type/Class)
Jukebox.HighSat
2 (Data Constructor)
Jukebox.HighSat
Satisfiable
Jukebox.Form
satisfiable
Jukebox.Form
satisfy
Jukebox.TPTP.Parsec
SatSolver
Jukebox.Sat
satSolver
Jukebox.SatEq
SatState
1 (Type/Class)
Jukebox.HighSat
2 (Data Constructor)
Jukebox.HighSat
scan
Jukebox.TPTP.Lexer
Scheme
1 (Type/Class)
Jukebox.Monotonox.ToFOF
2 (Data Constructor)
Jukebox.Monotonox.ToFOF
Scheme1
1 (Type/Class)
Jukebox.Monotonox.ToFOF
2 (Data Constructor)
Jukebox.Monotonox.ToFOF
scheme1
Jukebox.Monotonox.ToFOF
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
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.Clausify
size
Jukebox.Form
skipMany
Jukebox.TPTP.Parsec
skipSome
Jukebox.TPTP.Parsec
skolem
Jukebox.Clausify
skolemName
Jukebox.Clausify
solve
1 (Function)
Jukebox.Sat
2 (Function)
Jukebox.HighSat
3 (Function)
Jukebox.InferTypes
solveEq
Jukebox.SatEq
solveLocalMin
Jukebox.SatMin
Solver
Jukebox.Sat
SolverEq
1 (Type/Class)
Jukebox.SatEq
2 (Data Constructor)
Jukebox.SatEq
Some
Jukebox.TPTP.Lexer
sos
Jukebox.Provers.SPASS
source
Jukebox.Form
spass
Jukebox.Provers.SPASS
SPASSFlags
1 (Type/Class)
Jukebox.Provers.SPASS
2 (Data Constructor)
Jukebox.Provers.SPASS
spassFlags
Jukebox.Provers.SPASS
split
Jukebox.Clausify
splitting
Jukebox.Clausify
Stream
Jukebox.TPTP.Parsec
Subst
Jukebox.Form
subst
Jukebox.Form
Subtype
Jukebox.TPTP.Lexer
Symbolic
Jukebox.Form
table
Jukebox.SatEq
Tag
Jukebox.Form
tag
1 (Function)
Jukebox.Form
2 (Function)
Jukebox.TPTP.Parse.Core
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.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
Jukebox.TPTP.Lexer
Thf
Jukebox.TPTP.Lexer
Thing
Jukebox.TPTP.Parse.Core
Timeout
Jukebox.Form
timeout
1 (Function)
Jukebox.Provers.SPASS
2 (Function)
Jukebox.Provers.E
Times
Jukebox.TPTP.Lexer
tmonotone
Jukebox.Form
tname
Jukebox.Form
toClause
Jukebox.Form
toCNF
Jukebox.Form
toFofBox
Jukebox.Toolbox
toFofIO
Jukebox.Toolbox
toForm
Jukebox.Form
Token
Jukebox.TPTP.Lexer
tokenName
Jukebox.TPTP.Lexer
TokenStream
Jukebox.TPTP.Lexer
toLiterals
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.Parse.Core
typ
Jukebox.Form
Type
1 (Data Constructor)
Jukebox.TPTP.Lexer
2 (Type/Class)
Jukebox.Form
3 (Data Constructor)
Jukebox.Form
typeAxiom
Jukebox.Monotonox.ToFOF
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.HighSat
uniqueNames
Jukebox.Form
unitary
Jukebox.TPTP.Parse.Core
unitCost
Jukebox.Clausify
Universe
Jukebox.GuessModel
universe
Jukebox.GuessModel
Unknown
1 (Data Constructor)
Jukebox.TPTP.Lexer
2 (Data Constructor)
Jukebox.Form
unNameM
Jukebox.Name
Unpack
Jukebox.Form
Unsatisfiable
Jukebox.Form
unsatisfiable
Jukebox.Form
Untyped
Jukebox.TPTP.Parse.Core
Usage
Jukebox.Options
usage
Jukebox.Options
usageTool
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.Sat3
value
1 (Function)
Jukebox.TPTP.Lexer
2 (Function)
Jukebox.Sat
value3
Jukebox.Sat3
Var
1 (Data Constructor)
Jukebox.TPTP.Lexer
2 (Data Constructor)
Jukebox.Form
3 (Type/Class)
Jukebox.Monotonox.Monotonicity
var
1 (Function)
Jukebox.HighSat
2 (Function)
Jukebox.TPTP.Parse.Core
Variable
Jukebox.Form
variable
Jukebox.TPTP.Parse.Core
vars
Jukebox.Form
versionTool
Jukebox.Options
Watch
Jukebox.HighSat
what
Jukebox.Form
withName
Jukebox.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