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 _