- backtrackPointAdded() - Method in class jtabwb.engine.IterationInfo
-
Returns true
if the last rule application added a
backtrack-point to the stack.
- BitSetOfFormulas - Class in jtabwbx.prop.formula
-
Sets of formulas implemented over bitsets.
- BitSetOfFormulas(FormulaFactory) - Constructor for class jtabwbx.prop.formula.BitSetOfFormulas
-
- BitSetOfModalFormulas - Class in jtabwbx.modal.formula
-
Sets of modal formulas implemented over bitsets.
- BitSetOfModalFormulas(ModalFormulaFactory) - Constructor for class jtabwbx.modal.formula.BitSetOfModalFormulas
-
- BoxContext(ModalWffParser.WffContext) - Constructor for class jtabwbx.modal.parser.ModalWffParser.BoxContext
-
- branchPointAdded() - Method in class jtabwb.engine.IterationInfo
-
Returns true
if the last rule application added a branch-point
to the stack.
- BTFormula - Class in jtabwbx.prop.btformula
-
A simple implementation of a formula as a binary tree.
- BTFormula() - Constructor for class jtabwbx.prop.btformula.BTFormula
-
- BTFormulaCompound - Class in jtabwbx.prop.btformula
-
Implementation of a propositional compound formula, that is a formula
obtained by combining sub-formulas by means of a propositional connective.
- BTFormulaCompound(PropositionalConnective, BTFormula, BTFormula) - Constructor for class jtabwbx.prop.btformula.BTFormulaCompound
-
Builds the compound formula with the specified binary infix connective and
the specified sub-formulas.
- BTFormulaCompound(PropositionalConnective, BTFormula) - Constructor for class jtabwbx.prop.btformula.BTFormulaCompound
-
Builds the compound formula with the specified unary connective and the
specified sub-formula.
- BTFormulaProposition - Class in jtabwbx.prop.btformula
-
Implementation of a propositional variable (an atomic formula).
- BTFormulaProposition(String) - Constructor for class jtabwbx.prop.btformula.BTFormulaProposition
-
- BTModalFormula - Class in jtabwbx.modal.btformula
-
The root class for parsed formulas implementation.
- BTModalFormula() - Constructor for class jtabwbx.modal.btformula.BTModalFormula
-
- BTModalFormulaCompound - Class in jtabwbx.modal.btformula
-
An instance of this class models a compound propositional formula.
- BTModalFormulaCompound(ModalConnective, BTModalFormula, BTModalFormula) - Constructor for class jtabwbx.modal.btformula.BTModalFormulaCompound
-
Build an instance of a compound formula with a binary main connective.
- BTModalFormulaCompound(ModalConnective, BTModalFormula) - Constructor for class jtabwbx.modal.btformula.BTModalFormulaCompound
-
Build an instance of a compound formula with an unary main connective.
- BTModalFormulaFactory - Class in jtabwbx.modal.btformula
-
Factory for modal formulas.
- BTModalFormulaFactory() - Constructor for class jtabwbx.modal.btformula.BTModalFormulaFactory
-
- BTModalFormulaProposition - Class in jtabwbx.modal.btformula
-
An instance of this class models an atomic formula (a proposition).
- BTModalFormulaProposition(String) - Constructor for class jtabwbx.modal.btformula.BTModalFormulaProposition
-
Builds the atomic formula with the specified name.
- BTPropositionalFormulaFactory - Class in jtabwbx.prop.btformula
-
Factory for this implementation of propositional formulas based on the set of
logical connectives specified by
PropositionalConnective
.
- BTPropositionalFormulaFactory() - Constructor for class jtabwbx.prop.btformula.BTPropositionalFormulaFactory
-
- buildArraySequent(FormulaFactory, Collection<Formula>, Formula) - Static method in class jtabwbx.prop.formula.SingleSuccedentSequentOnArray
-
- buildArraySequent(FormulaFactory, Collection<Formula>, Formula) - Static method in class jtabwbx.prop.formula.SingleSuccedentSequentOnBitSet
-
- buildAtomic(String) - Method in class jtabwbx.modal.btformula.BTModalFormulaFactory
-
- buildAtomic(String) - Method in class jtabwbx.modal.formula.ModalFormulaFactory
-
Builds the propositional modal formula with the specified name.
- buildAtomic(String) - Method in class jtabwbx.prop.btformula.BTPropositionalFormulaFactory
-
- buildAtomic(String) - Method in class jtabwbx.prop.formula.FormulaFactory
-
- buildCompound(ModalConnective, BTModalFormula...) - Method in class jtabwbx.modal.btformula.BTModalFormulaFactory
-
- buildCompound(ModalConnective, ModalFormula...) - Method in class jtabwbx.modal.formula.ModalFormulaFactory
-
Builds the formula having the specified logical constant as main connective
and the specified subformulas as direct subformulas.
- buildCompound(PropositionalConnective, BTFormula...) - Method in class jtabwbx.prop.btformula.BTPropositionalFormulaFactory
-
- buildCompound(PropositionalConnective, Formula...) - Method in class jtabwbx.prop.formula.FormulaFactory
-
Builds the formula having the specified logical constant as main connective
and the specified subformulas as direct subformulas.
- buildFrom(Trace) - Static method in class jtabwb.tracesupport.CTree
-
Builds the collection of C-trees described by the specified proof-search
trace.
- buildFrom(ParseTree) - Method in class jtabwbx.modal.btformula.BTModalFormulaFactory
-
- buildFrom(ModalFormula) - Method in class jtabwbx.modal.formula.ModalFormulaFactory
-
Build an instance of the specified
ModalFormula
in this factory.
- buildFrom(BTModalFormula) - Method in class jtabwbx.modal.formula.ModalFormulaFactory
-
- buildFrom(ParseTree) - Method in class jtabwbx.modal.formula.ModalFormulaFactory
-
Build a modal formula from the specified parse-tree.
- buildFrom(Formula) - Method in class jtabwbx.prop.formula.FormulaFactory
-
Build an instance of the specified formula in this factory.
- buildFrom(BTFormula) - Method in class jtabwbx.prop.formula.FormulaFactory
-
Build an instance of the specified
BTFormula
.
- buildFrom(ParseTree) - Method in class jtabwbx.prop.formula.FormulaFactory
-
Build a formula from the specified parse-tree.
- buildInitialNodeSet(ProblemDescription) - Method in interface jtabwb.launcher._InitialGoalBuilder
-
Build a goal from the specified problem description.