A B C D E F G H I L M N O P Q R S T U V W X Y

M

main(String[]) - Static method in class de.uni_tuebingen.sfb.lichtenstein.main.MonaSearch

Run MonaSearch.

mCATEGORY() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mCLOSE() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mCONJUNCTION() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mCONTAINMENT() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mDISJUNCTION() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mDOMINANCE() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mEQUALITY() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mEQUIVALENCE() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

Messages - Class in de.uni_tuebingen.sfb.lichtenstein.exceptions

A class automatically generated by Eclipse for externalising strings.

mFIRST_ORDER_EXISTENTIAL() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mFIRST_ORDER_UNIVERSAL() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mFUNCTION() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mgCheck(mgGta, mgTreeNode) - Static method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.Mona

mgFree(mgGta) - Static method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.Mona

mgGta - Class in de.uni_tuebingen.sfb.lichtenstein.binarytrees

A wrapper class around a C construct.

mgGta(long, boolean) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.binarytrees.mgGta

mgGta() - Constructor for class de.uni_tuebingen.sfb.lichtenstein.binarytrees.mgGta

mgLoad(String) - Static method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.Mona

mgTreeNode - Class in de.uni_tuebingen.sfb.lichtenstein.binarytrees

A wrapper class around a C construct.

mgTreeNode(long, boolean) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.binarytrees.mgTreeNode

mgTreeNode(String) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.binarytrees.mgTreeNode

mIDENTIFIER() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mIMMEDIATE_DOMINANCE() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mIMMEDIATE_PRECEDENCE() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mIMPLICATION() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mLEMMA() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mLINE_COMMENT() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mMORPHOLOGY() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mNEGATION() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mNEWLINE() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

Mona - Class in de.uni_tuebingen.sfb.lichtenstein.binarytrees

The module class containing all requested methods.

Mona() - Constructor for class de.uni_tuebingen.sfb.lichtenstein.binarytrees.Mona

MonaFormulaBuilder - Class in de.uni_tuebingen.sfb.lichtenstein.binarytrees

A class which visits a Formula and converts it to a Mona formula.

MonaFormulaBuilder(Map<String, String>) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.binarytrees.MonaFormulaBuilder

Initialize a builder for MONA formulas.

MonaFormulaParser - Interface in de.uni_tuebingen.sfb.lichtenstein.binarytrees

A class to parse a formula given by the user into a Mona formula.

MonaSearch - Class in de.uni_tuebingen.sfb.lichtenstein.main

This class takes care of launching the program.

MonaSearch() - Constructor for class de.uni_tuebingen.sfb.lichtenstein.main.MonaSearch

mOPEN() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

MORPHOLOGY - Static variable in interface de.uni_tuebingen.sfb.lichtenstein.binarytrees.FormulaParser

The symbol for the morphology of a node.

MORPHOLOGY - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

MORPHOLOGY - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser

mPRECEDENCE() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mPROPER_DOMINANCE() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mSECOND_ORDER_EXISTENTIAL() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mSECOND_ORDER_UNIVERSAL() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mSENTENCE() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mTokens() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mWHITESPACE() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mWORD() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

mWS() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer