.=. | 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 |