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

M

Main - Class in fmrisc.ProofNavigator

Command line interface to ProofNavigator.

Main() - Constructor for class fmrisc.ProofNavigator.Main

main(String[]) - Static method in class fmrisc.ProofNavigator.Main

Command line interface to ProofNavigator.

main() - Method in class fmrisc.ProofNavigator.PNParser

main() - Method in class fmrisc.Proving.CVCL.CVCLParser

MainSWT - Class in fmrisc.ProofNavigator.SWT

Main method for ProofNavigator with SWT-based GUI.

MainSWT() - Constructor for class fmrisc.ProofNavigator.SWT.MainSWT

makeNameUnique(UniqueNameTable) - Method in class fmrisc.Syntax.ValueDeclIdentifier

Replace name of identifier by unique name derived from table.

mARROW(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mARROW(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mASSIGNMENT(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mASSIGNMENT(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

MathML - Class in fmrisc.Communication

Conversion of AST to HTML/MathML presentation markup.

MathML(Document) - Constructor for class fmrisc.Communication.MathML

Create converter that creates DOM nodes in the specified document.

mCOLON(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mCOLON(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mCOMMA(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mCOMMA(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mDIVIDES(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mDIVIDES(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mDOTDOT(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mDOTDOT(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mEQUALITY(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mEQUALITY(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mEQUIV(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mEQUIV(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mGREATER(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mGREATER(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mGREATEREQ(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mGREATEREQ(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mIDENT(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mIDENT(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mIMPLIES(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mIMPLIES(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

MINUS - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

MINUS - Static variable in interface fmrisc.Proving.CVCL.CVCLParserTokenTypes

minusTerm(Expression, Expression) - Static method in class fmrisc.Syntax.Construct

construct difference with components base1 and base2

MinusTerm - Class in fmrisc.Syntax

Handling of differences.

MinusTerm(Expression, Expression) - Constructor for class fmrisc.Syntax.MinusTerm

construct difference with components base1 and base2

mLABEL(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mLBRACK(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mLBRACK(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mLBRACKGRID(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mLBRACKGRID(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mLESS(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mLESS(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mLESSEQ(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mLESSEQ(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mLPAR(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mLPAR(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mLPARGRID(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mLPARGRID(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mMINUS(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mMINUS(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mNONEQUALITY(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mNONEQUALITY(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mNUMBER(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mNUMBER(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mPERIOD(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mPERIOD(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mPLUS(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mPLUS(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mPOWER(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mPOWER(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mRBRACK(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mRBRACK(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mRBRACKGRID(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mRBRACKGRID(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mRPAR(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mRPAR(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mRPARGRID(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mRPARGRID(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mSEMICOLON(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mSEMICOLON(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mSTRING(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mTIMES(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mTIMES(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer

mUNDERSCORE(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mWS(boolean) - Method in class fmrisc.ProofNavigator.PNLexer

mWS(boolean) - Method in class fmrisc.Proving.CVCL.CVCLLexer