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

L

LABEL - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

labelChildren() - Method in class fmrisc.Proving.ProofState

Label the children of the current state.

lambdaTerm(TypedIdentifier[], Expression) - Static method in class fmrisc.Syntax.Construct

construct lambda term of variables and base term

LambdaTerm - Class in fmrisc.Syntax

Handling of lambda terms.

LambdaTerm(TypedIdentifier[], Expression) - Constructor for class fmrisc.Syntax.LambdaTerm

construct lambda term of variables and base term

LBRACK - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

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

LBRACKGRID - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

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

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(BreakInfo[]) - Static method in class fmrisc.Communication.BreakInfo

Get sum of the lengths of the info nodes

LESS - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

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

LESSEQ - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

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

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

construct less-than-or-equal formula with components base1 and base2

LessEqualFormula - Class in fmrisc.Syntax

Handling of less-than-or-equal formulas.

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

construct less-than-or-equal formula with components base1 and base2

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

construct less-than formula with components base1 and base2

LessFormula - Class in fmrisc.Syntax

Handling of less-than formulas.

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

construct less-than formula with components base1 and base2

letExpression(ValueDeclaration[], Expression) - Static method in class fmrisc.Syntax.Construct

construct let expressions of declarations and base expressions

LetExpression - Class in fmrisc.Syntax

Handling of terms with local bindings.

LetExpression(ValueDeclaration[], Expression) - Constructor for class fmrisc.Syntax.LetExpression

construct let expressions of declarations and base expressions

LETTER - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

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

letType(TypeDeclaration[], Type) - Static method in class fmrisc.Syntax.Construct

construct let type of declarations and base type

LetType - Class in fmrisc.Syntax

Handling of terms with local bindings.

LetType(TypeDeclaration[], Type) - Constructor for class fmrisc.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.Proving.CVCL.CVCLParserTokenTypes

LITERAL_ARRAY - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

LITERAL_ARRAY - Static variable in interface fmrisc.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_BOOLEAN - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

LITERAL_BOOLEAN - Static variable in interface fmrisc.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.Proving.CVCL.CVCLParserTokenTypes

LITERAL_ELSIF - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

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

LITERAL_ENDIF - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

LITERAL_ENDIF - Static variable in interface fmrisc.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.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.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.Proving.CVCL.CVCLParserTokenTypes

LITERAL_formula - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

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.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.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.Proving.CVCL.CVCLParserTokenTypes

LITERAL_LAMBDA - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

LITERAL_LAMBDA - Static variable in interface fmrisc.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.Proving.CVCL.CVCLParserTokenTypes

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.Proving.CVCL.CVCLParserTokenTypes

LITERAL_OF - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

LITERAL_OF - Static variable in interface fmrisc.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.Proving.CVCL.CVCLParserTokenTypes

LITERAL_prev - 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.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.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.Proving.CVCL.CVCLParserTokenTypes

LITERAL_TRUE - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

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

LITERAL_type - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

LITERAL_TYPE - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

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

LITERAL_typeaxiom - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

LITERAL_undo - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

LITERAL_value - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

LITERAL_WITH - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

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

LITERAL_XOR - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

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

logical(boolean) - Static method in class fmrisc.Syntax.Construct

construct logical constant with denoted value.

Logical - Class in fmrisc.Syntax

Logical constants.

Logical(boolean) - Constructor for class fmrisc.Syntax.Logical

construct logical constant with denoted value

LPAR - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

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

LPARGRID - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

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