Uses of Class
wyal.lang.WyalFile.Expr.Quantifier

Packages that use WyalFile.Expr.Quantifier

Package	Description
wyal.lang
wytp.proof
wytp.types.util

Uses of WyalFile.Expr.Quantifier in wyal.lang

Subclasses of WyalFile.Expr.Quantifier in wyal.lang

Modifier and Type	Class and Description
static class	WyalFile.Expr.ExistentialQuantifier Represents an unbounded existentially quantified expression of the form "some(T v1, ...
static class	WyalFile.Expr.UniversalQuantifier Represents an unbounded universally quantified expression of the form "forall(T v1, ...

Uses of WyalFile.Expr.Quantifier in wytp.proof

Subclasses of WyalFile.Expr.Quantifier in wytp.proof

Modifier and Type	Class and Description
static class	Formula.Quantifier

Uses of WyalFile.Expr.Quantifier in wytp.types.util

Methods in wytp.types.util with parameters of type WyalFile.Expr.Quantifier

Modifier and Type	Method and Description
protected WyalFile.Type	StdTypeInfererence.inferQuantifier(TypeInferer.Environment environment, WyalFile.Expr.Quantifier expr)