judge-0.1.2.0: Tableau-based theorem prover.

Index

:=Logic.Judge.Prover.Tableau
activesLogic.Judge.Prover.Tableau
ambiguityLogic.Judge.Formula.Parser, Logic.Judge.Formula
Ambiguous 
1 (Type/Class)Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
2 (Data Constructor)Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
analysisLogic.Judge.Prover.Tableau.Analytics
Application 
1 (Data Constructor)Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
2 (Data Constructor)Logic.Judge.Prover.Tableau
asListLogic.Judge.PointedList
AssumptionLogic.Judge.Prover.Tableau
assumptionsLogic.Judge.Prover.Tableau
assumptions'Logic.Judge.Prover.Tableau
asTermLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
atEndLogic.Judge.PointedList
atStartLogic.Judge.PointedList
BiImplicationLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
BindLogic.Judge.Prover.Tableau
booleanLogic.Judge.Formula.Parser, Logic.Judge.Formula
Branch 
1 (Type/Class)Logic.Judge.Prover.Tableau
2 (Data Constructor)Logic.Judge.Prover.Tableau
BranchFormulaLogic.Judge.Prover.Tableau
ChooseLogic.Judge.Prover.Tableau
ClassicalLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
ClosureLogic.Judge.Prover.Tableau
combinationsLogic.Judge.Prover.Tableau
commentsLogic.Judge.Formula.Parser, Logic.Judge.Formula
CompositorLogic.Judge.Prover.Tableau
compositorLogic.Judge.Prover.Tableau
ConjunctionLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
ConstantLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
ConstraintLogic.Judge.Prover.Tableau
constraintLogic.Judge.Prover.Tableau
consumptionsLogic.Judge.Prover.Tableau
contextMapLogic.Judge.PointedList
counterLogic.Judge.Prover.Tableau
currentLogic.Judge.PointedList
decideLogic.Judge.Prover.Tableau
deleteLogic.Judge.PointedList
deleteLeftLogic.Judge.PointedList
deleteOthersLogic.Judge.PointedList
deleteRightLogic.Judge.PointedList
DisjunctionLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
DynamicTermsLogic.Judge.Prover.Tableau
ExistentialLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
expressionLogic.Judge.Formula.Parser, Logic.Judge.Formula
ExtendLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
Extension 
1 (Data Constructor)Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
2 (Type/Class)Logic.Judge.Formula
FailureLogic.Judge.Prover.Tableau
findLogic.Judge.PointedList
focusLogic.Judge.PointedList
FormatLogic.Judge.Writer
Formula 
1 (Data Constructor)Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
2 (Type/Class)Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
formulaLogic.Judge.Formula.Parser, Logic.Judge.Formula
FormulaJLLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
FormulaMLLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
fromListLogic.Judge.PointedList
fromListEndLogic.Judge.PointedList
generatorLogic.Judge.Prover.Tableau
GreedyLogic.Judge.Prover.Tableau
greedyLogic.Judge.Prover.Tableau
HasVariablesLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
identifierLogic.Judge.Formula.Parser, Logic.Judge.Formula
ImplicationLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
inactivesLogic.Judge.Prover.Tableau
indexLogic.Judge.PointedList
initialLogic.Judge.Prover.Tableau
insertLogic.Judge.PointedList
insertAllLogic.Judge.PointedList
insertLeftLogic.Judge.PointedList
insertRightLogic.Judge.PointedList
IntersectionLogic.Judge.Prover.Tableau
intersectionLogic.Judge.Prover.Tableau
isAtomaryLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
isConstantLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
isExtensionLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
isFormulaLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
isMarkedFormulaLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
isVariableLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
JustificationLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
justificationLogic.Judge.Formula.Parser, Logic.Judge.Formula
LaTeX 
1 (Type/Class)Logic.Judge.Writer.LaTeX
2 (Data Constructor)Logic.Judge.Writer
latexLogic.Judge.Writer.LaTeX
latexFooterLogic.Judge.Writer.LaTeX
latexHeaderLogic.Judge.Writer.LaTeX
lengthLogic.Judge.PointedList
Marked 
1 (Type/Class)Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
2 (Data Constructor)Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
markedLogic.Judge.Formula.Parser, Logic.Judge.Formula
MarkedFormulaLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
marksLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
MergeLogic.Judge.Prover.Tableau
mergeLogic.Judge.Formula.Substitution
ModalityLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
modalityLogic.Judge.Formula.Parser, Logic.Judge.Formula
modifyLogic.Judge.PointedList
moveNLogic.Judge.PointedList
moveToLogic.Judge.PointedList
nameLogic.Judge.Prover.Tableau
namedLogic.Judge.Formula.Parser, Logic.Judge.Formula
NecessaryLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
NegationLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
newLogic.Judge.Prover.Tableau
nextLogic.Judge.PointedList
NodeLogic.Judge.Prover.Tableau
NondeterministicLogic.Judge.Prover.Tableau
NoneLogic.Judge.Prover.Tableau
OperatorLogic.Judge.Formula.Parser, Logic.Judge.Formula
parseLogic.Judge.Formula.Parser, Logic.Judge.Formula
ParseableLogic.Judge.Formula.Parser, Logic.Judge.Formula
parserLogic.Judge.Formula.Parser, Logic.Judge.Formula
parserEmbeddedLogic.Judge.Formula.Parser, Logic.Judge.Formula
patternLogic.Judge.Formula.Substitution
patternContinueLogic.Judge.Formula.Substitution
PlainLogic.Judge.Writer
plainprintLogic.Judge.Writer
PointedList 
1 (Data Constructor)Logic.Judge.PointedList
2 (Type/Class)Logic.Judge.PointedList
positionsLogic.Judge.PointedList
PossibleLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
PredicateLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
prefixLogic.Judge.PointedList
prettyLogic.Judge.Writer.Plain
prettyEmbeddedLogic.Judge.Writer.Plain
prettyprintLogic.Judge.Writer
prettyRecursiveLogic.Judge.Writer.Plain
previousLogic.Judge.PointedList
PrimitiveLogic.Judge.Prover.Tableau
PrimitiveDynamicTermsLogic.Judge.Prover.Tableau
PrimitiveStaticTermsLogic.Judge.Prover.Tableau
PrintableLogic.Judge.Writer.Plain
ProcessedLogic.Judge.Prover.Tableau
productionsLogic.Judge.Prover.Tableau
ProofCheckerLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
ProofConstantLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
ProofVariableLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
PropositionLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
QuantifierLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
quantifierLogic.Judge.Formula.Parser, Logic.Judge.Formula
RefLogic.Judge.Prover.Tableau
referenceLogic.Judge.Prover.Tableau
renumberLogic.Judge.Prover.Tableau
replaceLogic.Judge.PointedList
ResultLogic.Judge.Prover.Tableau
reversedPrefixLogic.Judge.PointedList
rewriteLogic.Judge.Prover.Tableau
RootLogic.Judge.Prover.Tableau
rootLogic.Judge.Prover.Tableau
Rule 
1 (Type/Class)Logic.Judge.Prover.Tableau
2 (Data Constructor)Logic.Judge.Prover.Tableau
RuleInstantiatedLogic.Judge.Prover.Tableau
rulesLogic.Judge.Prover.Tableau
rulesALogic.Judge.Prover.Tableau
rulesCLogic.Judge.Prover.Tableau
RuleUninstantiatedLogic.Judge.Prover.Tableau
shortenLogic.Judge.Prover.Tableau
simplifyLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
singletonLogic.Judge.PointedList
sizeLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
StaticLogic.Judge.Prover.Tableau
StaticTermsLogic.Judge.Prover.Tableau
SubstitutableLogic.Judge.Formula.Substitution
substituteLogic.Judge.Formula.Substitution
SubstitutionLogic.Judge.Formula.Substitution
SubtermLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
subtermsLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
SuccessLogic.Judge.Prover.Tableau
suffixLogic.Judge.PointedList
SumLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
TableauLogic.Judge.Prover.Tableau
TableauSettings 
1 (Type/Class)Logic.Judge.Prover.Tableau
2 (Data Constructor)Logic.Judge.Prover.Tableau
TableauSystem 
1 (Type/Class)Logic.Judge.Prover.Tableau
2 (Data Constructor)Logic.Judge.Prover.Tableau
TermLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
TermsLogic.Judge.Prover.Tableau
titleLogic.Judge.Prover.Tableau
toListLogic.Judge.PointedList
TransformLogic.Judge.Prover.Tableau
tryNextLogic.Judge.PointedList
tryPreviousLogic.Judge.PointedList
UnionLogic.Judge.Prover.Tableau
UniversalLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
unmarkedLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
UnprocessedLogic.Judge.Prover.Tableau
updateLogic.Judge.PointedList
valueLogic.Judge.Prover.Tableau
VariableLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
variablesLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
withFocusLogic.Judge.PointedList
writeLogic.Judge.Writer
writeBodyLogic.Judge.Writer
writeFooterLogic.Judge.Writer
writeHeaderLogic.Judge.Writer
XDisjunctionLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
_focusLogic.Judge.PointedList
_reversedPrefixLogic.Judge.PointedList
_suffixLogic.Judge.PointedList