Uses of Class
fmrisc.Syntax.QuantifiedExpression

Packages that use QuantifiedExpression

fmrisc.Syntax

Uses of QuantifiedExpression in fmrisc.Syntax

Subclasses of QuantifiedExpression in fmrisc.Syntax

class	ArrayTerm Handling of array terms.
class	ExistsFormula Handling of universally quantified formulas.
class	ForallFormula Handling of universally quantified formulas.
class	LambdaTerm Handling of lambda terms.

Methods in fmrisc.Syntax that return QuantifiedExpression

QuantifiedExpression	ExistsFormula.construct(TypedIdentifier[] variables, Expression base) Construct quantified expression.
QuantifiedExpression	LambdaTerm.construct(TypedIdentifier[] variables, Expression base) Construct quantified expression.
abstract QuantifiedExpression	QuantifiedExpression.construct(TypedIdentifier[] variables, Expression base) Construct quantified expression.
QuantifiedExpression	ForallFormula.construct(TypedIdentifier[] variables, Expression base) Construct quantified expression.
QuantifiedExpression	ArrayTerm.construct(TypedIdentifier[] variables, Expression base) Construct quantified expression.