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

F

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