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

B

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
Build an instance of the specified BTModalFormula.
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.
A B C D E F G H I J L M N O P R S T V W _ 
Skip navigation links