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