Uses of Class
fmrisc.ProofNavigator.Syntax.ExistsFormula

Packages that use ExistsFormula

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of ExistsFormula in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return ExistsFormula

Modifier and Type	Method and Description
static ExistsFormula	Construct.existsFormula(TypedIdentifier[] variables, Expression base) construct existentially quantifed formula of variables and base formula