JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
V
W
_
O
onCompleted(ProofSearchResult)
- Method in interface jtabwb.engine.
_OnRuleCompletedListener
Invoked by the engine when the proof-search starting with this rule application terminates.
onResumed()
- Method in interface jtabwb.engine.
_OnRuleResumedListener
op
- Variable in class jtabwbx.modal.parser.
ModalWffParser.AndContext
op
- Variable in class jtabwbx.modal.parser.
ModalWffParser.EqContext
op
- Variable in class jtabwbx.modal.parser.
ModalWffParser.ImpContext
op
- Variable in class jtabwbx.modal.parser.
ModalWffParser.OrContext
op
- Variable in class jtabwbx.prop.parser.
FormulaParser.AndContext
op
- Variable in class jtabwbx.prop.parser.
FormulaParser.EqContext
op
- Variable in class jtabwbx.prop.parser.
FormulaParser.ImpContext
op
- Variable in class jtabwbx.prop.parser.
FormulaParser.OrContext
optConfigCmdLineOptions(Options)
- Method in class jtabwb.launcher.
Launcher
Add the specified command options to the command line options for this launcher.
optConfigInputSyntax(String)
- Method in class jtabwb.launcher.
Launcher
Defines the message the launcher prints before reading from standard input; in general the message consists of a short description of the syntax of input formulas.
optConfigSingleExecutionConfigurator(_SingleExecutionConfigurator)
- Method in class jtabwb.launcher.
Launcher
optConfigWelcomeMessage(String)
- Method in class jtabwb.launcher.
Launcher
Defines the message the launcher prints before prover execution; in general the message consists of the name and the version of the launcher.
OR
- Static variable in class jtabwbx.modal.parser.
ModalWffLexer
OR
- Static variable in class jtabwbx.modal.parser.
ModalWffParser
OR
- Static variable in class jtabwbx.prop.parser.
FormulaLexer
OR
- Static variable in class jtabwbx.prop.parser.
FormulaParser
OrContext(ModalWffParser.WffContext)
- Constructor for class jtabwbx.modal.parser.
ModalWffParser.OrContext
OrContext(FormulaParser.WffContext)
- Constructor for class jtabwbx.prop.parser.
FormulaParser.OrContext
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
V
W
_
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes