Skip navigation links
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