- validateProofTrace() - Method in class jtabwb.tracesupport.TraceValidator
-
- Validator - Class in jtabwb.tracesupport
-
- Validator(Trace, _Prover, _TraceManager) - Constructor for class jtabwb.tracesupport.Validator
-
- valueOf(String) - Static method in enum jtabwb.engine.Engine.ExecutionMode
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum jtabwb.engine.IterationInfo.Move
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum jtabwb.engine.ProofSearchResult
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum jtabwb.engine.ProvabilityStatus
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum jtabwb.engine.RuleType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum jtabwb.launcher.Launcher.TestStatus
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum jtabwb.launcher.ProofSearchData.TerminationStatus
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum jtabwb.tracesupport.LatexTranslator.ProofStyle
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum jtabwbx.modal.basic.ModalConnective
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum jtabwbx.modal.basic.ModalFormulaType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum jtabwbx.prop.basic.FormulaType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum jtabwbx.prop.basic.PropositionalConnective
-
Returns the enum constant of this type with the specified name.
- values() - Static method in enum jtabwb.engine.Engine.ExecutionMode
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum jtabwb.engine.IterationInfo.Move
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum jtabwb.engine.ProofSearchResult
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum jtabwb.engine.ProvabilityStatus
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum jtabwb.engine.RuleType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum jtabwb.launcher.Launcher.TestStatus
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum jtabwb.launcher.ProofSearchData.TerminationStatus
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum jtabwb.tracesupport.LatexTranslator.ProofStyle
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum jtabwbx.modal.basic.ModalConnective
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum jtabwbx.modal.basic.ModalFormulaType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum jtabwbx.prop.basic.FormulaType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum jtabwbx.prop.basic.PropositionalConnective
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- visitErrorNode(ErrorNode) - Method in class jtabwbx.modal.parser.ModalWffBaseListener
- visitErrorNode(ErrorNode) - Method in class jtabwbx.prop.parser.FormulaBaseListener
- visitTerminal(TerminalNode) - Method in class jtabwbx.modal.parser.ModalWffBaseListener
- visitTerminal(TerminalNode) - Method in class jtabwbx.prop.parser.FormulaBaseListener
- VOCABULARY - Static variable in class jtabwbx.modal.parser.ModalWffLexer
-
- VOCABULARY - Static variable in class jtabwbx.modal.parser.ModalWffParser
-
- VOCABULARY - Static variable in class jtabwbx.prop.parser.FormulaLexer
-
- VOCABULARY - Static variable in class jtabwbx.prop.parser.FormulaParser
-