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

M

mainConnective() - Method in interface jtabwbx.modal.basic._ModalFormula
The main logical operator of this formula.
mainConnective() - Method in class jtabwbx.modal.btformula.BTModalFormulaCompound
 
mainConnective() - Method in class jtabwbx.modal.btformula.BTModalFormulaProposition
 
mainConnective() - Method in class jtabwbx.modal.formula.ModalFormulaProposition
 
mainConnective() - Method in interface jtabwbx.prop.basic._PropositionalFormula
The main logical operator of this formula.
mainConnective() - Method in class jtabwbx.prop.btformula.BTFormula
 
mainConnective() - Method in class jtabwbx.prop.btformula.BTFormulaCompound
 
mainConnective() - Method in class jtabwbx.prop.btformula.BTFormulaProposition
 
mainConnective() - Method in class jtabwbx.prop.formula.FormulaProposition
 
mainFormula() - Method in interface jtabwb.engine._BranchExistsRule
The main formula of this rule or null if this rule does not have a main formula.
mainFormula() - Method in interface jtabwb.engine._RegularRule
Returns the main formula of this rule or null if this rule does not have a main formula.
ModalConnective - Enum in jtabwbx.modal.basic
The basic modal connectives.
ModalFormula - Class in jtabwbx.modal.formula
A modal formula.
modalFormula() - Method in class jtabwbx.modal.parser.ModalWffParser
 
ModalFormulaContext(ParserRuleContext, int) - Constructor for class jtabwbx.modal.parser.ModalWffParser.ModalFormulaContext
 
ModalFormulaFactory - Class in jtabwbx.modal.formula
The factory building formulas.
ModalFormulaFactory(String, String) - Constructor for class jtabwbx.modal.formula.ModalFormulaFactory
Constructs an instance of the factory using the specified names for true and false representation.
ModalFormulaFactory() - Constructor for class jtabwbx.modal.formula.ModalFormulaFactory
Constructs an instance of the factory using "false" and "true" as names for true and false constants.
ModalFormulaLatexFormatter - Class in jtabwbx.modal.formula
Provides a static method to generate the LaTeX of a formula.
ModalFormulaLatexFormatter() - Constructor for class jtabwbx.modal.formula.ModalFormulaLatexFormatter
 
ModalFormulaLexerSignalingErrors - Class in jtabwbx.modal.parser
 
ModalFormulaLexerSignalingErrors(CharStream) - Constructor for class jtabwbx.modal.parser.ModalFormulaLexerSignalingErrors
 
ModalFormulaParseException - Exception in jtabwbx.modal.parser
An error in the syntax of the formula.
ModalFormulaParseException() - Constructor for exception jtabwbx.modal.parser.ModalFormulaParseException
 
ModalFormulaParseException(String, Throwable) - Constructor for exception jtabwbx.modal.parser.ModalFormulaParseException
 
ModalFormulaParseException(String) - Constructor for exception jtabwbx.modal.parser.ModalFormulaParseException
 
ModalFormulaParseException(Throwable) - Constructor for exception jtabwbx.modal.parser.ModalFormulaParseException
 
ModalFormulaParser - Class in jtabwbx.modal.parser
A parser for propositional formulas.
ModalFormulaParser() - Constructor for class jtabwbx.modal.parser.ModalFormulaParser
Constructs a parser.
ModalFormulaProposition - Class in jtabwbx.modal.formula
An propositional variable.
ModalFormulaType - Enum in jtabwbx.modal.basic
The types of propositional formulas represented by formulas implemented by ModalFormula.
ModalWffBaseListener - Class in jtabwbx.modal.parser
This class provides an empty implementation of ModalWffListener, which can be extended to create a listener which only needs to handle a subset of the available methods.
ModalWffBaseListener() - Constructor for class jtabwbx.modal.parser.ModalWffBaseListener
 
ModalWffLexer - Class in jtabwbx.modal.parser
 
ModalWffLexer(CharStream) - Constructor for class jtabwbx.modal.parser.ModalWffLexer
 
ModalWffListener - Interface in jtabwbx.modal.parser
This interface defines a complete listener for a parse tree produced by ModalWffParser.
ModalWffParser - Class in jtabwbx.modal.parser
 
ModalWffParser(TokenStream) - Constructor for class jtabwbx.modal.parser.ModalWffParser
 
ModalWffParser.AndContext - Class in jtabwbx.modal.parser
 
ModalWffParser.BoxContext - Class in jtabwbx.modal.parser
 
ModalWffParser.DiaContext - Class in jtabwbx.modal.parser
 
ModalWffParser.EqContext - Class in jtabwbx.modal.parser
 
ModalWffParser.ImpContext - Class in jtabwbx.modal.parser
 
ModalWffParser.ModalFormulaContext - Class in jtabwbx.modal.parser
 
ModalWffParser.NegContext - Class in jtabwbx.modal.parser
 
ModalWffParser.OrContext - Class in jtabwbx.modal.parser
 
ModalWffParser.ParContext - Class in jtabwbx.modal.parser
 
ModalWffParser.PropContext - Class in jtabwbx.modal.parser
 
ModalWffParser.WffContext - Class in jtabwbx.modal.parser
 
modeNames - Static variable in class jtabwbx.modal.parser.ModalWffLexer
 
modeNames - Static variable in class jtabwbx.prop.parser.FormulaLexer
 
A B C D E F G H I J L M N O P R S T V W _ 
Skip navigation links