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

S

searchProof() - Method in class jtabwb.engine.Engine
Searches a proof for the initial goal and, if it terminates, returns the result of the proof-search.
sempred(RuleContext, int, int) - Method in class jtabwbx.modal.parser.ModalWffParser
 
sempred(RuleContext, int, int) - Method in class jtabwbx.prop.parser.FormulaParser
 
SequentOnArray - Class in jtabwbx.prop.formula
Implementation of the _Sequent interface using an array of integers to represents the sequent.
SequentOnArray(FormulaFactory) - Constructor for class jtabwbx.prop.formula.SequentOnArray
 
SequentOnBitSet - Class in jtabwbx.prop.formula
Implementation of the _Sequent interface using an array of integers to represents the sequent.
SequentOnBitSet(FormulaFactory) - Constructor for class jtabwbx.prop.formula.SequentOnBitSet
 
SequentOnBSF - Class in jtabwbx.prop.formula
Implementation of the _Sequent interface using BitSetOfFormulas to represent the left-hand and the right-hand sides.
SequentOnBSF(FormulaFactory) - Constructor for class jtabwbx.prop.formula.SequentOnBSF
 
SequentOnBSFWithFormulasByType - Class in jtabwbx.prop.formula
Implementation of the _Sequent interface using BitSetOfFormulas to represent the left-hand and the right-hand sides.
SequentOnBSFWithFormulasByType(FormulaFactory) - Constructor for class jtabwbx.prop.formula.SequentOnBSFWithFormulasByType
 
SequentOnLists - Class in jtabwbx.prop.formula
Implementation of the _Sequent interface using lists to store left and right formulas.
SequentOnLists() - Constructor for class jtabwbx.prop.formula.SequentOnLists
Builds an empty sequent.
setDescription(String) - Method in class jtabwb.engine.ProverName
 
setName(String) - Method in class jtabwb.launcher.ProblemDescription
 
setProblemStatus(ProvabilityStatus) - Method in class jtabwb.launcher.ProblemDescription
 
setProperNoun(String) - Method in class jtabwb.engine.ProverName
 
setRuleType(RuleType) - Method in class jtabwb.engine.TraceNode
 
setSource(String) - Method in class jtabwb.launcher.ProblemDescription
 
setTraceGenerationMode(boolean) - Method in class jtabwb.launcher.Launcher
If flag is true the launcher invoke the engine in trace execution mode.
setTranslateEquivalences(boolean) - Method in class jtabwbx.modal.formula.ModalFormulaFactory
If b is true equivalences (A <-> B) are built as (A -> B) & (B -> A).
setTranslateEquivalences(boolean) - Method in class jtabwbx.prop.formula.FormulaFactory
If b is true equivalences (A <-> B) are built as (A -> B) & (B -> A).
setTranslateImplisesFalse(boolean) - Method in class jtabwbx.prop.formula.FormulaFactory
If b is true implications of the kind A -> false are built as ~ A.
setTranslateNegations(boolean) - Method in class jtabwbx.prop.formula.FormulaFactory
If b is true negated formulas (~ A) are built as (A -> FALSE).
setVariant(String) - Method in class jtabwb.engine.ProverName
 
setVersion(String) - Method in class jtabwb.engine.ProverName
 
shortName() - Method in interface jtabwb.engine._AbstractFormula
Returns the short name of the formula.
shortName() - Method in class jtabwbx.modal.btformula.BTModalFormulaCompound
 
shortName() - Method in class jtabwbx.modal.btformula.BTModalFormulaProposition
 
shortName() - Method in class jtabwbx.modal.formula.ModalFormulaProposition
 
shortName() - Method in class jtabwbx.prop.btformula.BTFormulaCompound
 
shortName() - Method in class jtabwbx.prop.btformula.BTFormulaProposition
 
shortName() - Method in class jtabwbx.prop.formula.FormulaProposition
 
SingleSuccedentSequentOnArray - Class in jtabwbx.prop.formula
Implementation of the _SingleSuccedentSequent interface using an array of integers to represents the sequent.
SingleSuccedentSequentOnArray(FormulaFactory) - Constructor for class jtabwbx.prop.formula.SingleSuccedentSequentOnArray
 
SingleSuccedentSequentOnBitSet - Class in jtabwbx.prop.formula
Implementation of the _Sequent interface on Formula using a BitSet to represent the left-hand side of the sequent.
SingleSuccedentSequentOnBitSet(FormulaFactory) - Constructor for class jtabwbx.prop.formula.SingleSuccedentSequentOnBitSet
 
SingleSuccedentSequentOnBSF - Class in jtabwbx.prop.formula
Implementation of the _Sequent interface on Formula using a BitSetOfFormulas to represent the left-hand side.
SingleSuccedentSequentOnBSF(FormulaFactory) - Constructor for class jtabwbx.prop.formula.SingleSuccedentSequentOnBSF
 
SingleSuccedentSequentOnLists - Class in jtabwbx.prop.formula
Implementation of the _SingleSuccedentSequent interface using lists to store left formulas.
SingleSuccedentSequentOnLists() - Constructor for class jtabwbx.prop.formula.SingleSuccedentSequentOnLists
Builds an empty sequent.
size() - Method in class jtabwbx.modal.formula.ModalFormula
Returns the size of this formula.
size() - Method in class jtabwbx.prop.formula.Formula
Returns the size of this formula.
SOMETHING_WENT_WRONG - Static variable in exception jtabwb.util.ImplementationError
 
stablePart() - Method in interface jtabwbx.prop.formula._Sequent
 
stablePart() - Method in class jtabwbx.prop.formula.SequentOnArray
 
stablePart() - Method in class jtabwbx.prop.formula.SequentOnBitSet
 
stablePart() - Method in class jtabwbx.prop.formula.SequentOnBSF
 
stablePart() - Method in class jtabwbx.prop.formula.SequentOnBSFWithFormulasByType
 
stablePart() - Method in class jtabwbx.prop.formula.SequentOnLists
 
status() - Method in interface jtabwb.engine._ClashDetectionRule
Returns ProofSearchResult.SUCCESS if the goal of this rule contains a clash and ProofSearchResult.FAILURE otherwise.
statusFor(ProofSearchResult) - Method in interface jtabwb.engine._Prover
Returns the provability status corresponding to the specified proof-search result.
statusFor(ProofSearchResult) - Method in class jtabwb.tracesupport.Validator
 
subseteq(BitSetOfModalFormulas) - Method in class jtabwbx.modal.formula.BitSetOfModalFormulas
 
subseteq(BitSetOfFormulas) - Method in class jtabwbx.prop.formula.BitSetOfFormulas
 
Substitution - Class in jtabwbx.prop.formula
 
Substitution() - Constructor for class jtabwbx.prop.formula.Substitution
 
succesfulCTreesOfChild(int) - Method in class jtabwb.tracesupport.ChildrenWithCtreeNodes
 
superseteq(BitSetOfModalFormulas) - Method in class jtabwbx.modal.formula.BitSetOfModalFormulas
 
superseteq(BitSetOfFormulas) - Method in class jtabwbx.prop.formula.BitSetOfFormulas
 
A B C D E F G H I J L M N O P R S T V W _ 
Skip navigation links