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
_
R
read(Reader)
- Method in interface jtabwb.launcher.
_ProblemReader
Reads the problem description from the specified
Reader
and returns the corresponding
ProblemDescription
.
read(Reader)
- Method in class jtabwbx.problems.
ILTPProblemReader
Returns a problem-description of the problem read from the specified input stream.
read(Reader)
- Method in class jtabwbx.problems.
JTabWbSimpleProblemReader
Returns the problem description corresponding to the PITP problem description read from the specified stream.
read(Reader)
- Method in class jtabwbx.problems.
PlainProblemReader
Returns the problem description build from the specified input stream; the specified input stream is supposed to contain only one line describing the formula.
ReaderDefinitionException
- Exception in
jtabwb.launcher
An error in the definition of a problem description reader.
ReaderDefinitionException()
- Constructor for exception jtabwb.launcher.
ReaderDefinitionException
ReaderDefinitionException(String, Throwable, boolean, boolean)
- Constructor for exception jtabwb.launcher.
ReaderDefinitionException
ReaderDefinitionException(String, Throwable)
- Constructor for exception jtabwb.launcher.
ReaderDefinitionException
ReaderDefinitionException(String)
- Constructor for exception jtabwb.launcher.
ReaderDefinitionException
ReaderDefinitionException(Throwable)
- Constructor for exception jtabwb.launcher.
ReaderDefinitionException
recover(LexerNoViableAltException)
- Method in class jtabwbx.modal.parser.
ModalFormulaLexerSignalingErrors
recover(LexerNoViableAltException)
- Method in class jtabwbx.prop.parser.
FormulaLexerSignalingErrors
remove(ModalFormula)
- Method in interface jtabwbx.modal.basic.
_ModalFormulaSet
remove(ModalFormula)
- Method in class jtabwbx.modal.formula.
BitSetOfModalFormulas
remove(Formula)
- Method in interface jtabwbx.prop.formula.
_FormulaSet
Returns the specified formula from this set.
remove(Formula)
- Method in class jtabwbx.prop.formula.
BitSetOfFormulas
remove(Formula)
- Method in class jtabwbx.prop.formula.
FormulaSetOnHashSet
remove(Formula)
- Method in class jtabwbx.prop.formula.
FormulaSetOnList
removeLeft(Formula)
- Method in interface jtabwbx.prop.formula.
_Sequent
Removes the specified formula from the left hand side of this sequent, if it is present.
removeLeft(Formula)
- Method in interface jtabwbx.prop.formula.
_SingleSuccedentSequent
Removes the specified formula from the left hand side of this sequent, if it is present.
removeLeft(Formula)
- Method in class jtabwbx.prop.formula.
SequentOnArray
removeLeft(Formula)
- Method in class jtabwbx.prop.formula.
SequentOnBitSet
removeLeft(Formula)
- Method in class jtabwbx.prop.formula.
SequentOnBSF
removeLeft(Formula)
- Method in class jtabwbx.prop.formula.
SequentOnBSFWithFormulasByType
removeLeft(Formula)
- Method in class jtabwbx.prop.formula.
SequentOnLists
removeLeft(Formula)
- Method in class jtabwbx.prop.formula.
SingleSuccedentSequentOnArray
removeLeft(Formula)
- Method in class jtabwbx.prop.formula.
SingleSuccedentSequentOnBitSet
removeLeft(Formula)
- Method in class jtabwbx.prop.formula.
SingleSuccedentSequentOnBSF
removeLeft(Formula)
- Method in class jtabwbx.prop.formula.
SingleSuccedentSequentOnLists
removeRight(Formula)
- Method in interface jtabwbx.prop.formula.
_Sequent
Removes the right formula form this sequent.
removeRight()
- Method in interface jtabwbx.prop.formula.
_SingleSuccedentSequent
Removes the right formula form this sequent.
removeRight(Formula)
- Method in class jtabwbx.prop.formula.
SequentOnArray
removeRight(Formula)
- Method in class jtabwbx.prop.formula.
SequentOnBitSet
removeRight(Formula)
- Method in class jtabwbx.prop.formula.
SequentOnBSF
removeRight(Formula)
- Method in class jtabwbx.prop.formula.
SequentOnBSFWithFormulasByType
removeRight(Formula)
- Method in class jtabwbx.prop.formula.
SequentOnLists
removeRight()
- Method in class jtabwbx.prop.formula.
SingleSuccedentSequentOnArray
removeRight()
- Method in class jtabwbx.prop.formula.
SingleSuccedentSequentOnBitSet
removeRight()
- Method in class jtabwbx.prop.formula.
SingleSuccedentSequentOnBSF
removeRight()
- Method in class jtabwbx.prop.formula.
SingleSuccedentSequentOnLists
rightSide()
- Method in class jtabwbx.prop.formula.
SequentOnBSF
rightSide()
- Method in class jtabwbx.prop.formula.
SequentOnBSFWithFormulasByType
rigthSideCardinality()
- Method in class jtabwbx.prop.formula.
SequentOnBSF
rigthSideCardinality()
- Method in class jtabwbx.prop.formula.
SequentOnBSFWithFormulasByType
rigtSideIterator()
- Method in interface jtabwbx.prop.formula.
_Sequent
rigtSideIterator()
- Method in class jtabwbx.prop.formula.
SequentOnArray
rigtSideIterator()
- Method in class jtabwbx.prop.formula.
SequentOnBitSet
rigtSideIterator()
- Method in class jtabwbx.prop.formula.
SequentOnBSF
rigtSideIterator()
- Method in class jtabwbx.prop.formula.
SequentOnBSFWithFormulasByType
rigtSideIterator()
- Method in class jtabwbx.prop.formula.
SequentOnLists
ROLE_AXIOM
- Variable in class jtabwbx.problems.
ILTPProblem
ROLE_CONJECTURE
- Variable in class jtabwbx.problems.
ILTPProblem
ROLE_CONJECTURE
- Static variable in class jtabwbx.problems.
JTabWbSimpleProblem
ROLE_CONJECTURE
- Static variable in class jtabwbx.problems.
PlainProblemDescription
RULE_formula
- Static variable in class jtabwbx.prop.parser.
FormulaParser
RULE_modalFormula
- Static variable in class jtabwbx.modal.parser.
ModalWffParser
RULE_wff
- Static variable in class jtabwbx.modal.parser.
ModalWffParser
RULE_wff
- Static variable in class jtabwbx.prop.parser.
FormulaParser
ruleNames
- Static variable in class jtabwbx.modal.parser.
ModalWffLexer
ruleNames
- Static variable in class jtabwbx.modal.parser.
ModalWffParser
ruleNames
- Static variable in class jtabwbx.prop.parser.
FormulaLexer
ruleNames
- Static variable in class jtabwbx.prop.parser.
FormulaParser
RuleType
- Enum in
jtabwb.engine
The type of a rule classify a rule applied during proof search.
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