| := | Logic.Judge.Prover.Tableau |
| actives | Logic.Judge.Prover.Tableau |
| ambiguity | Logic.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 |
| analysis | Logic.Judge.Prover.Tableau.Analytics |
| Application | |
| 1 (Data Constructor) | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| 2 (Data Constructor) | Logic.Judge.Prover.Tableau |
| asList | Logic.Judge.PointedList |
| Assumption | Logic.Judge.Prover.Tableau |
| assumptions | Logic.Judge.Prover.Tableau |
| assumptions' | Logic.Judge.Prover.Tableau |
| asTerm | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| atEnd | Logic.Judge.PointedList |
| atStart | Logic.Judge.PointedList |
| BiImplication | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| Bind | Logic.Judge.Prover.Tableau |
| boolean | Logic.Judge.Formula.Parser, Logic.Judge.Formula |
| Branch | |
| 1 (Type/Class) | Logic.Judge.Prover.Tableau |
| 2 (Data Constructor) | Logic.Judge.Prover.Tableau |
| BranchFormula | Logic.Judge.Prover.Tableau |
| Choose | Logic.Judge.Prover.Tableau |
| Classical | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| Closure | Logic.Judge.Prover.Tableau |
| combinations | Logic.Judge.Prover.Tableau |
| comments | Logic.Judge.Formula.Parser, Logic.Judge.Formula |
| Compositor | Logic.Judge.Prover.Tableau |
| compositor | Logic.Judge.Prover.Tableau |
| Conjunction | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| Constant | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| Constraint | Logic.Judge.Prover.Tableau |
| constraint | Logic.Judge.Prover.Tableau |
| consumptions | Logic.Judge.Prover.Tableau |
| contextMap | Logic.Judge.PointedList |
| counter | Logic.Judge.Prover.Tableau |
| current | Logic.Judge.PointedList |
| decide | Logic.Judge.Prover.Tableau |
| delete | Logic.Judge.PointedList |
| deleteLeft | Logic.Judge.PointedList |
| deleteOthers | Logic.Judge.PointedList |
| deleteRight | Logic.Judge.PointedList |
| Disjunction | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| DynamicTerms | Logic.Judge.Prover.Tableau |
| Existential | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| expression | Logic.Judge.Formula.Parser, Logic.Judge.Formula |
| Extend | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| Extension | |
| 1 (Data Constructor) | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| 2 (Type/Class) | Logic.Judge.Formula |
| Failure | Logic.Judge.Prover.Tableau |
| find | Logic.Judge.PointedList |
| focus | Logic.Judge.PointedList |
| Format | Logic.Judge.Writer |
| Formula | |
| 1 (Data Constructor) | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| 2 (Type/Class) | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| formula | Logic.Judge.Formula.Parser, Logic.Judge.Formula |
| FormulaJL | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| FormulaML | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| fromList | Logic.Judge.PointedList |
| fromListEnd | Logic.Judge.PointedList |
| generator | Logic.Judge.Prover.Tableau |
| Greedy | Logic.Judge.Prover.Tableau |
| greedy | Logic.Judge.Prover.Tableau |
| HasVariables | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| identifier | Logic.Judge.Formula.Parser, Logic.Judge.Formula |
| Implication | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| inactives | Logic.Judge.Prover.Tableau |
| index | Logic.Judge.PointedList |
| initial | Logic.Judge.Prover.Tableau |
| insert | Logic.Judge.PointedList |
| insertAll | Logic.Judge.PointedList |
| insertLeft | Logic.Judge.PointedList |
| insertRight | Logic.Judge.PointedList |
| Intersection | Logic.Judge.Prover.Tableau |
| intersection | Logic.Judge.Prover.Tableau |
| isAtomary | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| isConstant | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| isExtension | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| isFormula | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| isMarkedFormula | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| isVariable | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| Justification | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| justification | Logic.Judge.Formula.Parser, Logic.Judge.Formula |
| LaTeX | |
| 1 (Type/Class) | Logic.Judge.Writer.LaTeX |
| 2 (Data Constructor) | Logic.Judge.Writer |
| latex | Logic.Judge.Writer.LaTeX |
| latexFooter | Logic.Judge.Writer.LaTeX |
| latexHeader | Logic.Judge.Writer.LaTeX |
| length | Logic.Judge.PointedList |
| Marked | |
| 1 (Type/Class) | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| 2 (Data Constructor) | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| marked | Logic.Judge.Formula.Parser, Logic.Judge.Formula |
| MarkedFormula | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| marks | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| Merge | Logic.Judge.Prover.Tableau |
| merge | Logic.Judge.Formula.Substitution |
| Modality | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| modality | Logic.Judge.Formula.Parser, Logic.Judge.Formula |
| modify | Logic.Judge.PointedList |
| moveN | Logic.Judge.PointedList |
| moveTo | Logic.Judge.PointedList |
| name | Logic.Judge.Prover.Tableau |
| named | Logic.Judge.Formula.Parser, Logic.Judge.Formula |
| Necessary | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| Negation | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| new | Logic.Judge.Prover.Tableau |
| next | Logic.Judge.PointedList |
| Node | Logic.Judge.Prover.Tableau |
| Nondeterministic | Logic.Judge.Prover.Tableau |
| None | Logic.Judge.Prover.Tableau |
| Operator | Logic.Judge.Formula.Parser, Logic.Judge.Formula |
| parse | Logic.Judge.Formula.Parser, Logic.Judge.Formula |
| Parseable | Logic.Judge.Formula.Parser, Logic.Judge.Formula |
| parser | Logic.Judge.Formula.Parser, Logic.Judge.Formula |
| parserEmbedded | Logic.Judge.Formula.Parser, Logic.Judge.Formula |
| pattern | Logic.Judge.Formula.Substitution |
| patternContinue | Logic.Judge.Formula.Substitution |
| Plain | Logic.Judge.Writer |
| plainprint | Logic.Judge.Writer |
| PointedList | |
| 1 (Data Constructor) | Logic.Judge.PointedList |
| 2 (Type/Class) | Logic.Judge.PointedList |
| positions | Logic.Judge.PointedList |
| Possible | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| Predicate | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| prefix | Logic.Judge.PointedList |
| pretty | Logic.Judge.Writer.Plain |
| prettyEmbedded | Logic.Judge.Writer.Plain |
| prettyprint | Logic.Judge.Writer |
| prettyRecursive | Logic.Judge.Writer.Plain |
| previous | Logic.Judge.PointedList |
| Primitive | Logic.Judge.Prover.Tableau |
| PrimitiveDynamicTerms | Logic.Judge.Prover.Tableau |
| PrimitiveStaticTerms | Logic.Judge.Prover.Tableau |
| Printable | Logic.Judge.Writer.Plain |
| Processed | Logic.Judge.Prover.Tableau |
| productions | Logic.Judge.Prover.Tableau |
| ProofChecker | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| ProofConstant | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| ProofVariable | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| Proposition | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| Quantifier | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| quantifier | Logic.Judge.Formula.Parser, Logic.Judge.Formula |
| Ref | Logic.Judge.Prover.Tableau |
| reference | Logic.Judge.Prover.Tableau |
| renumber | Logic.Judge.Prover.Tableau |
| replace | Logic.Judge.PointedList |
| Result | Logic.Judge.Prover.Tableau |
| reversedPrefix | Logic.Judge.PointedList |
| rewrite | Logic.Judge.Prover.Tableau |
| Root | Logic.Judge.Prover.Tableau |
| root | Logic.Judge.Prover.Tableau |
| Rule | |
| 1 (Type/Class) | Logic.Judge.Prover.Tableau |
| 2 (Data Constructor) | Logic.Judge.Prover.Tableau |
| RuleInstantiated | Logic.Judge.Prover.Tableau |
| rules | Logic.Judge.Prover.Tableau |
| rulesA | Logic.Judge.Prover.Tableau |
| rulesC | Logic.Judge.Prover.Tableau |
| RuleUninstantiated | Logic.Judge.Prover.Tableau |
| shorten | Logic.Judge.Prover.Tableau |
| simplify | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| singleton | Logic.Judge.PointedList |
| size | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| Static | Logic.Judge.Prover.Tableau |
| StaticTerms | Logic.Judge.Prover.Tableau |
| Substitutable | Logic.Judge.Formula.Substitution |
| substitute | Logic.Judge.Formula.Substitution |
| Substitution | Logic.Judge.Formula.Substitution |
| Subterm | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| subterms | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| Success | Logic.Judge.Prover.Tableau |
| suffix | Logic.Judge.PointedList |
| Sum | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| Tableau | Logic.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 |
| Term | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| Terms | Logic.Judge.Prover.Tableau |
| title | Logic.Judge.Prover.Tableau |
| toList | Logic.Judge.PointedList |
| Transform | Logic.Judge.Prover.Tableau |
| tryNext | Logic.Judge.PointedList |
| tryPrevious | Logic.Judge.PointedList |
| Union | Logic.Judge.Prover.Tableau |
| Universal | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| unmarked | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| Unprocessed | Logic.Judge.Prover.Tableau |
| update | Logic.Judge.PointedList |
| value | Logic.Judge.Prover.Tableau |
| Variable | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| variables | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| withFocus | Logic.Judge.PointedList |
| write | Logic.Judge.Writer |
| writeBody | Logic.Judge.Writer |
| writeFooter | Logic.Judge.Writer |
| writeHeader | Logic.Judge.Writer |
| XDisjunction | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| _focus | Logic.Judge.PointedList |
| _reversedPrefix | Logic.Judge.PointedList |
| _suffix | Logic.Judge.PointedList |