Skip navigation links
A B C D E F G H I J L M N O P R S T V W _ 

T

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
Deprecated.
tokenNames - Static variable in class jtabwbx.modal.parser.ModalWffParser
Deprecated.
tokenNames - Static variable in class jtabwbx.prop.parser.FormulaLexer
Deprecated.
tokenNames - Static variable in class jtabwbx.prop.parser.FormulaParser
Deprecated.
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.
A B C D E F G H I J L M N O P R S T V W _ 
Skip navigation links