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

V

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
 
A B C D E F G H I J L M N O P R S T V W _ 
Skip navigation links