- T__0 - Static variable in class jtabwbx.modal.parser.ModalWffLexer
-
- T__0 - Static variable in class jtabwbx.modal.parser.ModalWffParser
-
- T__0 - Static variable in class jtabwbx.prop.parser.FormulaLexer
-
- T__0 - Static variable in class jtabwbx.prop.parser.FormulaParser
-
- T__1 - Static variable in class jtabwbx.modal.parser.ModalWffLexer
-
- T__1 - Static variable in class jtabwbx.modal.parser.ModalWffParser
-
- T__1 - Static variable in class jtabwbx.prop.parser.FormulaLexer
-
- T__1 - Static variable in class jtabwbx.prop.parser.FormulaParser
-
- toArray() - Method in interface jtabwbx.modal.basic._ModalFormulaSet
-
- toArray() - Method in class jtabwbx.modal.formula.BitSetOfModalFormulas
-
- toArray() - Method in interface jtabwbx.prop.formula._FormulaSet
-
Returns an array of formulas containing all of the formulas in this set.
- toArray() - Method in class jtabwbx.prop.formula.BitSetOfFormulas
-
- toArray() - Method in class jtabwbx.prop.formula.FormulaSetOnHashSet
-
- toArray() - Method in class jtabwbx.prop.formula.FormulaSetOnList
-
- tokenNames - Static variable in class jtabwbx.modal.parser.ModalWffLexer
-
- tokenNames - Static variable in class jtabwbx.modal.parser.ModalWffParser
-
- tokenNames - Static variable in class jtabwbx.prop.parser.FormulaLexer
-
- tokenNames - Static variable in class jtabwbx.prop.parser.FormulaParser
-
- toLatex(Collection<CTree>, PrintStream, _LatexCTreeFormatter) - Static method in class jtabwb.tracesupport.CTree
-
TODO: move to CTreeLatexGenerator
Prints on the specified stream the LaTeX of the specified collection of
C-trees.
- toLatex(PrintStream, _LatexCTreeFormatter) - Method in class jtabwb.tracesupport.CTree
-
TDOO: move to CTreeLatexGenerator
Prints on the specified stream the LaTeX of this C-tree.
- toLatex(ModalFormula[], String) - Method in class jtabwbx.modal.formula.ModalFormulaLatexFormatter
-
Returns the LaTex source of the formulas in the given array; formulas are
separated by the specified separator.
- toLatex(Collection<ModalFormula>, String) - Method in class jtabwbx.modal.formula.ModalFormulaLatexFormatter
-
Returns the LaTex source of the formulas in the given collection; formulas
are separated by the specified separator.
- toLatex(ModalFormula) - Method in class jtabwbx.modal.formula.ModalFormulaLatexFormatter
-
Returns the LaTex source of the specified formula, the result of this
method must placed in math mode.
- toLatex(Formula[], String) - Method in class jtabwbx.prop.formula.FormulaLatexFormatter
-
Returns the LaTex source of the formulas in the given array; formulas are
separated by the specified separator.
- toLatex(Collection<Formula>, String) - Method in class jtabwbx.prop.formula.FormulaLatexFormatter
-
Returns the LaTex source of the formulas in the given collection; formulas
are separated by the specified separator.
- toLatex(Formula) - Method in class jtabwbx.prop.formula.FormulaLatexFormatter
-
Returns the LaTex source of the specified formula, the result of this
method must placed in math mode.
- toString() - Method in class jtabwb.engine.ProverName
-
- toString() - Method in class jtabwb.engine.Trace
-
- toString() - Method in class jtabwb.engine.TraceNode
-
- toString() - Method in class jtabwb.launcher.ProblemDescription
-
- toString() - Method in class jtabwb.tracesupport.CTreeNode
-
- toString() - Method in enum jtabwbx.modal.basic.ModalConnective
-
- toString() - Method in class jtabwbx.modal.btformula.BTModalFormulaCompound
-
- toString() - Method in class jtabwbx.modal.btformula.BTModalFormulaProposition
-
- toString() - Method in class jtabwbx.modal.formula.BitSetOfModalFormulas
-
- toString() - Method in class jtabwbx.modal.formula.ModalFormulaFactory
-
- toString() - Method in class jtabwbx.modal.formula.ModalFormulaProposition
-
- toString() - Method in enum jtabwbx.prop.basic.PropositionalConnective
-
- toString() - Method in class jtabwbx.prop.btformula.BTFormulaCompound
-
Returns the string representation of the formula.
- toString() - Method in class jtabwbx.prop.btformula.BTFormulaProposition
-
Returns the string representation of the formula.
- toString() - Method in class jtabwbx.prop.formula.BitSetOfFormulas
-
- toString() - Method in class jtabwbx.prop.formula.FormulaFactory
-
- toString() - Method in class jtabwbx.prop.formula.FormulaProposition
-
- toString() - Method in class jtabwbx.prop.formula.FormulaSetOnHashSet
-
- toString() - Method in class jtabwbx.prop.formula.FormulaSetOnList
-
- toString() - Method in class jtabwbx.prop.formula.PropositionalSubstitution
-
- toString() - Method in class jtabwbx.prop.formula.SequentOnArray
-
- toString() - Method in class jtabwbx.prop.formula.SequentOnBitSet
-
- toString() - Method in class jtabwbx.prop.formula.SequentOnBSF
-
- toString() - Method in class jtabwbx.prop.formula.SequentOnBSFWithFormulasByType
-
- toString() - Method in class jtabwbx.prop.formula.SequentOnLists
-
- toString() - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnArray
-
- toString() - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnBitSet
-
- toString() - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnBSF
-
- toString() - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnLists
-
- toString() - Method in class jtabwbx.prop.formula.Substitution
-
- totalNumberOfRules() - Method in interface jtabwb.engine._MetaBacktrackRule
-
Returns the total number of backtrack-rules provided by this rule
application.
- Trace - Class in jtabwb.engine
-
A trace describes the steps performed during a proof search; it provides data
about:
the prover used to generate the proof-search;
the initial node-set of the proof-search;
the status of the proof-search;
the root of the trace-tree describing the performed proof search.
We call trace tree the tree describing the proof-search.
- TraceException - Exception in jtabwb.engine
-
Thrown if something goes wrong managing a trace.
- TraceException() - Constructor for exception jtabwb.engine.TraceException
-
- TraceException(String, Throwable) - Constructor for exception jtabwb.engine.TraceException
-
- TraceException(String) - Constructor for exception jtabwb.engine.TraceException
-
- TraceException(Throwable) - Constructor for exception jtabwb.engine.TraceException
-
- TraceNode - Class in jtabwb.engine
-
A node in the proof-trace, it describes a rule applied in the proof-search.
- TraceSupportException - Exception in jtabwb.tracesupport
-
DOC
- TraceSupportException() - Constructor for exception jtabwb.tracesupport.TraceSupportException
-
- TraceSupportException(String, Throwable) - Constructor for exception jtabwb.tracesupport.TraceSupportException
-
- TraceSupportException(String) - Constructor for exception jtabwb.tracesupport.TraceSupportException
-
- TraceSupportException(Throwable) - Constructor for exception jtabwb.tracesupport.TraceSupportException
-
- TraceValidator - Class in jtabwb.tracesupport
-
- TraceValidator(Trace, _Prover, _TraceSupport) - Constructor for class jtabwb.tracesupport.TraceValidator
-
- TRUE - Static variable in class jtabwbx.modal.btformula.BTModalFormulaFactory
-
- TRUE - Static variable in class jtabwbx.modal.btformula.BTModalFormulaProposition
-
The formula representing the true constant, its name is "true"
.
- TRUE - Variable in class jtabwbx.modal.formula.ModalFormulaFactory
-
The formula representing the propositional variable TRUE.
- TRUE - Static variable in class jtabwbx.prop.btformula.BTFormulaProposition
-
The formula representing the true constant, its name is "true"
.
- TRUE - Static variable in class jtabwbx.prop.btformula.BTPropositionalFormulaFactory
-
- TRUE - Variable in class jtabwbx.prop.formula.FormulaFactory
-
The formula representing the propositional variable TRUE.