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

L

LABEL - Static variable in class fmrisc.ProofNavigator.PN2Lexer
 
LABEL - Static variable in class fmrisc.ProofNavigator.PN2Parser
 
LABEL - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
labelChildren() - Method in class fmrisc.ProofNavigator.Proving.ProofState
Label the children of the current state.
LambdaFormula - Class in fmrisc.ProgramExplorer.Syntax.Logic
A function expression with a formula body.
LambdaTerm - Class in fmrisc.ProgramExplorer.Syntax.Logic
A function expression.
lambdaTerm(TypedIdentifier[], Expression) - Static method in class fmrisc.ProofNavigator.Syntax.Construct
construct lambda term of variables and base term
LambdaTerm - Class in fmrisc.ProofNavigator.Syntax
Handling of lambda terms.
LambdaTerm(TypedIdentifier[], Expression) - Constructor for class fmrisc.ProofNavigator.Syntax.LambdaTerm
construct lambda term of variables and base term
layout() - Method in class fmrisc.ProgramExplorer.SWT.TopWindow
Handle layout issues.
LBRACK - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangLexer
 
LBRACK - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangParser
 
LBRACK - Static variable in class fmrisc.ProofNavigator.PN2Lexer
 
LBRACK - Static variable in class fmrisc.ProofNavigator.PN2Parser
 
LBRACK - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LBRACK - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LBRACKGRID - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangLexer
 
LBRACKGRID - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangParser
 
LBRACKGRID - Static variable in class fmrisc.ProofNavigator.PN2Lexer
 
LBRACKGRID - Static variable in class fmrisc.ProofNavigator.PN2Parser
 
LBRACKGRID - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LBRACKGRID - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LeftValue - Class in fmrisc.ProgramExplorer.Syntax.Program
The left value of an assignment.
Lemma - Class in fmrisc.ProofNavigator.Commands
The "lemma" command: import other formulas.
Lemma(Identifier[]) - Constructor for class fmrisc.ProofNavigator.Commands.Lemma
Create a "lemma" command.
length(Breaks.Info[]) - Static method in class fmrisc.ProgramExplorer.InOut.Breaks
Get the sum of the lengths of the info objects.
length - Variable in class fmrisc.ProgramExplorer.Syntax.Program.NewArrayExpression
 
length(BreakInfo[]) - Static method in class fmrisc.ProofNavigator.Communication.BreakInfo
Get sum of the lengths of the info nodes
LESS - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangLexer
 
LESS - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangParser
 
LESS - Static variable in class fmrisc.ProofNavigator.PN2Lexer
 
LESS - Static variable in class fmrisc.ProofNavigator.PN2Parser
 
LESS - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LESS - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LESSEQ - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangLexer
 
LESSEQ - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangParser
 
LESSEQ - Static variable in class fmrisc.ProofNavigator.PN2Lexer
 
LESSEQ - Static variable in class fmrisc.ProofNavigator.PN2Parser
 
LESSEQ - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LESSEQ - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LessEqualExpression - Class in fmrisc.ProgramExplorer.Syntax.Program
An is-less-than-or-equal formula.
LessEqualFormula - Class in fmrisc.ProgramExplorer.Syntax.Logic
An is-less-than-or-equal formula.
lessEqualFormula(Expression, Expression) - Static method in class fmrisc.ProofNavigator.Syntax.Construct
construct less-than-or-equal formula with components base1 and base2
LessEqualFormula - Class in fmrisc.ProofNavigator.Syntax
Handling of less-than-or-equal formulas.
LessEqualFormula(Expression, Expression) - Constructor for class fmrisc.ProofNavigator.Syntax.LessEqualFormula
construct less-than-or-equal formula with components base1 and base2
LessExpression - Class in fmrisc.ProgramExplorer.Syntax.Program
An is-less-than formula.
LessFormula - Class in fmrisc.ProgramExplorer.Syntax.Logic
An is-less-than formula.
lessFormula(Expression, Expression) - Static method in class fmrisc.ProofNavigator.Syntax.Construct
construct less-than formula with components base1 and base2
LessFormula - Class in fmrisc.ProofNavigator.Syntax
Handling of less-than formulas.
LessFormula(Expression, Expression) - Constructor for class fmrisc.ProofNavigator.Syntax.LessFormula
construct less-than formula with components base1 and base2
LetExpression - Class in fmrisc.ProgramExplorer.Syntax.Logic
Base class of an expression with local definitions.
letExpression(ValueDeclaration[], Expression) - Static method in class fmrisc.ProofNavigator.Syntax.Construct
construct let expressions of declarations and base expressions
LetExpression - Class in fmrisc.ProofNavigator.Syntax
Handling of terms with local bindings.
LetExpression(ValueDeclaration[], Expression) - Constructor for class fmrisc.ProofNavigator.Syntax.LetExpression
construct let expressions of declarations and base expressions
LetFormula - Class in fmrisc.ProgramExplorer.Syntax.Logic
A formula with local value definitions.
letKeyword - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.LetExpression
 
LETTER - Static variable in class fmrisc.ProgramExplorer.Parser.MiniJavaLexer
 
LETTER - Static variable in class fmrisc.ProgramExplorer.Parser.MiniJavaParser
 
LETTER - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangLexer
 
LETTER - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangParser
 
LETTER - Static variable in class fmrisc.ProofNavigator.PN2Lexer
 
LETTER - Static variable in class fmrisc.ProofNavigator.PN2Parser
 
LETTER - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LETTER - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LetTerm - Class in fmrisc.ProgramExplorer.Syntax.Logic
A term with local value definitions.
letType(TypeDeclaration[], Type) - Static method in class fmrisc.ProofNavigator.Syntax.Construct
construct let type of declarations and base type
LetType - Class in fmrisc.ProofNavigator.Syntax
Handling of terms with local bindings.
LetType(TypeDeclaration[], Type) - Constructor for class fmrisc.ProofNavigator.Syntax.LetType
Construct let types of declarations and base types.
LITERAL_AND - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_AND - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LITERAL_ARRAY - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_ARRAY - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LITERAL_assume - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_auto - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_autostar - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_AXIOM - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_BIT - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_BITFALSE - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_BITTRUE - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_BOOLEAN - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_BOOLEAN - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LITERAL_case - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_counterexample - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_decompose - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_ELSE - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_ELSE - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LITERAL_ELSIF - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_ELSIF - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LITERAL_ENDIF - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_ENDIF - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LITERAL_environment - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_EXISTS - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_EXISTS - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LITERAL_expand - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_FALSE - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_FALSE - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LITERAL_flatten - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_flip - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_FORALL - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_FORALL - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LITERAL_FORMULA - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_goal - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_goto - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_IF - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_IF - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LITERAL_in - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_IN - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_IN - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LITERAL_induction - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_instantiate - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_INT - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_INT - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LITERAL_LAMBDA - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_LAMBDA - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LITERAL_lemma - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_LET - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_LET - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LITERAL_LOGICAL - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_LOGICALFALSE - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_LOGICALTRUE - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_NAT - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_newcontext - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_next - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_NOT - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_NOT - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LITERAL_OF - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_OF - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LITERAL_open - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_option - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_OR - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_OR - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LITERAL_prev - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_printf - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_printt - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_printv - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_proof - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_prove - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_quit - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_read - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_REAL - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_REAL - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LITERAL_redo - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_scatter - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_simplify - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_skolemize - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_split - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_state - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_SUBTYPE - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_SUBTYPE - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LITERAL_tcc - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_THEN - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_THEN - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LITERAL_TRUE - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_TRUE - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LITERAL_TYPE - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_TYPE - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LITERAL_typeaxiom - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_undo - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_WITH - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_WITH - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LITERAL_XOR - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LITERAL_XOR - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
literalChar(String) - Static method in class fmrisc.ProgramExplorer.Syntax.StringUtil
Get value of string literal as a single character.
literalString(String) - Static method in class fmrisc.ProgramExplorer.Syntax.StringUtil
Get value of string literal.
localvar() - Method in class fmrisc.ProgramExplorer.Parser.MiniJavaParser
 
localvarcore() - Method in class fmrisc.ProgramExplorer.Parser.MiniJavaParser
 
LocalVariableSymbolBase - Class in fmrisc.ProgramExplorer.Semantics
The base class for a variable symbol that can be only locally referenced.
logical(boolean) - Static method in class fmrisc.ProofNavigator.Syntax.Construct
construct logical constant with denoted value.
Logical - Class in fmrisc.ProofNavigator.Syntax
Logical constants.
Logical(boolean) - Constructor for class fmrisc.ProofNavigator.Syntax.Logical
construct logical constant with denoted value
LogicChecking - Class in fmrisc.ProgramExplorer.Semantics
Type-check a logical theory.
LogicEnvironment - Class in fmrisc.ProgramExplorer.Semantics
An environment giving meaning to identifiers in the logic context.
LogicEnvironment(PackageSymbol, ErrorStream) - Constructor for class fmrisc.ProgramExplorer.Semantics.LogicEnvironment
Create a new environment at top-level.
LogicEnvironment(TheorySymbol, ErrorStream) - Constructor for class fmrisc.ProgramExplorer.Semantics.LogicEnvironment
Create a new environment from theory symbol.
LogicEnvironment(ErrorStream) - Constructor for class fmrisc.ProgramExplorer.Semantics.LogicEnvironment
Create a new and empty environment.
logicType(TypeExpression) - Method in class fmrisc.ProgramExplorer.Semantics.TypeTranslator
Translate a program's type expression to a logical type.
LogicTypeTable - Class in fmrisc.ProgramExplorer.Semantics
Make logic type expressions unique such that they can be compared by reference.
LogicTypeTable(ErrorStream) - Constructor for class fmrisc.ProgramExplorer.Semantics.LogicTypeTable
Construct a table for making types unique.
loopspec(LoopSpec) - Method in class fmrisc.ProgramExplorer.Parser.SpecLangParser
 
LoopSpec - Class in fmrisc.ProgramExplorer.Syntax.Spec
A loop specification.
LoopStatement - Interface in fmrisc.ProgramExplorer.Syntax.Program
The interface for loop statements
LoopStatementBase - Class in fmrisc.ProgramExplorer.Syntax.Program
The base class for loop statements.
LoopStatementBase() - Constructor for class fmrisc.ProgramExplorer.Syntax.Program.LoopStatementBase
 
LPAR - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangLexer
 
LPAR - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangParser
 
LPAR - Static variable in class fmrisc.ProofNavigator.PN2Lexer
 
LPAR - Static variable in class fmrisc.ProofNavigator.PN2Parser
 
LPAR - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LPAR - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
LPARGRID - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangLexer
 
LPARGRID - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangParser
 
LPARGRID - Static variable in class fmrisc.ProofNavigator.PN2Lexer
 
LPARGRID - Static variable in class fmrisc.ProofNavigator.PN2Parser
 
LPARGRID - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
LPARGRID - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
lselector() - Method in class fmrisc.ProgramExplorer.Parser.MiniJavaParser
 
lval() - Method in class fmrisc.ProgramExplorer.Parser.MiniJavaParser
 
lval - Variable in class fmrisc.ProgramExplorer.Syntax.Program.AssignCallStatement
 
lval - Variable in class fmrisc.ProgramExplorer.Syntax.Program.AssignmentStatement
 
A B C D E F G H I J K L M N O P Q R S T U V W X Z _ 
Skip navigation links