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 _