Uses of Class
fmrisc.ProofNavigator.Syntax.ApplicationExpression

Packages that use ApplicationExpression

Package	Description
fmrisc.ProofNavigator.Proving.CVCL
fmrisc.ProofNavigator.Syntax

Uses of ApplicationExpression in fmrisc.ProofNavigator.Proving.CVCL

Methods in fmrisc.ProofNavigator.Proving.CVCL with parameters of type ApplicationExpression

Modifier and Type	Method and Description
Expression	CVCL.untransformApplication(ApplicationExpression exp) Get original value of function application.

Uses of ApplicationExpression in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return ApplicationExpression

Modifier and Type	Method and Description
static ApplicationExpression	Construct.applicationExpression(Expression base1, Expression[] base2) construct application of base1 to base2