- failedCTreesOfChild(int) - Method in class jtabwb.tracesupport.ChildrenWithCtreeNodes
-
- FALSE - Static variable in class jtabwbx.modal.btformula.BTModalFormulaFactory
-
- FALSE - Static variable in class jtabwbx.modal.btformula.BTModalFormulaProposition
-
The formula representing the FALSE constant, its name is
"false"
.
- FALSE - Variable in class jtabwbx.modal.formula.ModalFormulaFactory
-
The formula representing the propositional variable FALSE.
- FALSE - Static variable in class jtabwbx.prop.btformula.BTFormulaProposition
-
The formula representing the FALSE constant, its name is
"false"
.
- FALSE - Static variable in class jtabwbx.prop.btformula.BTPropositionalFormulaFactory
-
- FALSE - Variable in class jtabwbx.prop.formula.FormulaFactory
-
The formula representing the propositional variable FALSE.
- ForceBranchFailure - Class in jtabwb.engine
-
This rule force branch failure.
- ForceBranchFailure(String, _AbstractGoal) - Constructor for class jtabwb.engine.ForceBranchFailure
-
- ForceBranchSuccess - Class in jtabwb.engine
-
- ForceBranchSuccess(String, _AbstractGoal) - Constructor for class jtabwb.engine.ForceBranchSuccess
-
- forceParenthesis(boolean) - Static method in class jtabwbx.modal.btformula.BTModalFormula
-
If force
is true
all the subformulas are
parenthesised when the string description of the formula is generated.
- format() - Method in interface jtabwb.engine._AbstractFormula
-
Returns the string representation of the formula
- format() - Method in interface jtabwb.engine._AbstractGoal
-
Returns a string describing this goal
- format(_AbstractGoal) - Method in interface jtabwb.tracesupport._LatexCTreeFormatter
-
Returns the LaTeX translation of the spcified node set.
- format() - Method in class jtabwbx.modal.btformula.BTModalFormula
-
- format() - Method in class jtabwbx.modal.formula.ModalFormulaProposition
-
- format() - Method in class jtabwbx.prop.btformula.BTFormulaCompound
-
- format() - Method in class jtabwbx.prop.btformula.BTFormulaProposition
-
- format() - Method in class jtabwbx.prop.formula.FormulaProposition
-
- format() - Method in class jtabwbx.prop.formula.SequentOnArray
-
- format() - Method in class jtabwbx.prop.formula.SequentOnBitSet
-
- format() - Method in class jtabwbx.prop.formula.SequentOnBSF
-
- format() - Method in class jtabwbx.prop.formula.SequentOnBSFWithFormulasByType
-
- format() - Method in class jtabwbx.prop.formula.SequentOnLists
-
- format() - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnArray
-
- format() - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnBitSet
-
- format() - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnBSF
-
- format() - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnLists
-
- formatRuleName(_AbstractRule) - Method in interface jtabwb.tracesupport._LatexCTreeFormatter
-
Returns the LaTeX translation of the name of the rule.
- Formula - Class in jtabwbx.prop.formula
-
Formula of this package are realized by objects implementing this interface.
- formula() - Method in class jtabwbx.prop.parser.FormulaParser
-
- FormulaBaseListener - Class in jtabwbx.prop.parser
-
This class provides an empty implementation of
FormulaListener
,
which can be extended to create a listener which only needs to handle a subset
of the available methods.
- FormulaBaseListener() - Constructor for class jtabwbx.prop.parser.FormulaBaseListener
-
- FormulaContext(ParserRuleContext, int) - Constructor for class jtabwbx.prop.parser.FormulaParser.FormulaContext
-
- FormulaFactory - Class in jtabwbx.prop.formula
-
The factory building formulas.
- FormulaFactory(String, String) - Constructor for class jtabwbx.prop.formula.FormulaFactory
-
Constructs an instance of the factory using the specified names for true
and false representation.
- FormulaFactory() - Constructor for class jtabwbx.prop.formula.FormulaFactory
-
Constructs an instance of the factory using "false" and "true" as names for
true and false constants.
- FormulaLatexFormatter - Class in jtabwbx.prop.formula
-
Provides a static method to generate the LaTeX of a formula.
- FormulaLatexFormatter() - Constructor for class jtabwbx.prop.formula.FormulaLatexFormatter
-
- FormulaLexer - Class in jtabwbx.prop.parser
-
- FormulaLexer(CharStream) - Constructor for class jtabwbx.prop.parser.FormulaLexer
-
- FormulaLexerSignalingErrors - Class in jtabwbx.prop.parser
-
- FormulaLexerSignalingErrors(CharStream) - Constructor for class jtabwbx.prop.parser.FormulaLexerSignalingErrors
-
- FormulaListener - Interface in jtabwbx.prop.parser
-
This interface defines a complete listener for a parse tree produced by
FormulaParser
.
- FormulaParseException - Exception in jtabwbx.prop.parser
-
An error in the syntax of the formula.
- FormulaParseException() - Constructor for exception jtabwbx.prop.parser.FormulaParseException
-
- FormulaParseException(String, Throwable) - Constructor for exception jtabwbx.prop.parser.FormulaParseException
-
- FormulaParseException(String) - Constructor for exception jtabwbx.prop.parser.FormulaParseException
-
- FormulaParseException(Throwable) - Constructor for exception jtabwbx.prop.parser.FormulaParseException
-
- FormulaParser - Class in jtabwbx.prop.parser
-
- FormulaParser(TokenStream) - Constructor for class jtabwbx.prop.parser.FormulaParser
-
- FormulaParser.AndContext - Class in jtabwbx.prop.parser
-
- FormulaParser.EqContext - Class in jtabwbx.prop.parser
-
- FormulaParser.FormulaContext - Class in jtabwbx.prop.parser
-
- FormulaParser.ImpContext - Class in jtabwbx.prop.parser
-
- FormulaParser.NegContext - Class in jtabwbx.prop.parser
-
- FormulaParser.OrContext - Class in jtabwbx.prop.parser
-
- FormulaParser.ParContext - Class in jtabwbx.prop.parser
-
- FormulaParser.PropContext - Class in jtabwbx.prop.parser
-
- FormulaParser.WffContext - Class in jtabwbx.prop.parser
-
- FormulaProposition - Class in jtabwbx.prop.formula
-
An atomic propositional formula.
- FormulaSetOnHashSet - Class in jtabwbx.prop.formula
-
Set of signed formulas implemented over HashSet.
- FormulaSetOnHashSet() - Constructor for class jtabwbx.prop.formula.FormulaSetOnHashSet
-
Builds an empty set of signed formulas.
- FormulaSetOnList - Class in jtabwbx.prop.formula
-
Set of signed formulas implemented over LinkedList.
- FormulaSetOnList() - Constructor for class jtabwbx.prop.formula.FormulaSetOnList
-
Builds an empty set of signed formulas.
- FormulaType - Enum in jtabwbx.prop.basic
-
The types of propositional formulas represented by formulas implemented by
Formula
.